Second character does not appear

[coqbot]

Note: the issue was created automatically with bugzilla2github tool

Original bug ID: BZ#3941
From: @Lionel-Rieg
Reported version: trunk
CC: @gares, @silene

[coqbot]

Comment author: @Lionel-Rieg

When typing inside a validated (green) or wrong (red) region, sometimes the second character typed does not appear. This phenomenon appears randomly so I cannot provide a test case, but it always affects the second character (for me at least). I think it is not a typo from my part because it happens quite often and was not present in 8.4.

Maybe it is an interference with the refontification of the region in which I type.

[coqbot]

Comment author: @gares

If you type the second character before the system manages to undo to that point, then your "action" is kind of lost.

While I look for a fix, just type slower.

[coqbot]

Comment author: @silene

Fixed by commit d907342. Thanks for the report.