Insert a space when undoing autocorrect (#1232)

This prevents the same suggestions to be presented again and autocorrect
to be activated again when pressing space.

This extra space is wanted because pressing the spacebar triggered
autocorrect in the first place.
This commit is contained in:
Jules Aguillon
2026-04-12 14:30:04 +02:00
committed by GitHub
parent 833b4a2154
commit 5ec663c306
+2 -1
View File
@@ -540,7 +540,8 @@ public final class KeyEventHandler
{
if (last_replaced_word != null)
{
replace_text_before_cursor(last_replacement_word_len, last_replaced_word);
replace_text_before_cursor(last_replacement_word_len,
last_replaced_word + " ");
last_replaced_word = null;
}
else