I am thinking about using GtkSourceView for the editing component. This should make this bug obsolete as it comes with a much better undo/redo support.
I am thinking about using GtkSourceView for the editing component. This should make this bug obsolete as it comes with a much better undo/redo support.