text: Make overwrite undo-friendly
authorMatthias Clasen <mclasen@redhat.com>
Wed, 19 Oct 2022 03:37:03 +0000 (23:37 -0400)
committerMatthias Clasen <mclasen@redhat.com>
Wed, 19 Oct 2022 03:49:16 +0000 (23:49 -0400)
commit1e5e0480fddfef1104ffc343943d3f32efb2f1bb
treec5147b88852f54a8daa2af2d1d70a6ee1ce3ede9
parentf658027c51a99dfb99b0a2bbe3dbfa8cd6ed0900
text: Make overwrite undo-friendly

In overwrite mode, every typed character gets
handled as a delete+insert, but we should not
record these as two individually undoable
steps.

This matches how we handle overwrite mode in
GtkTextView.

Fixes: #4411
gtk/gtktext.c