Bug#662098: Removing line with Ctrl+D sometimes is not undoable
Patrik Olsson
peo at xaci.be
Sat Dec 14 17:09:48 UTC 2013
Hmm, I should be subscribed to the bug now. Thought I was.
I haven't used gedit for a long time now, and instead Pluma 1.6.0 from
the MATE Desktop Environment, which is a fork of gedit (2.*, I think).
FWIW, I have no issue with Pluma.
>From what I remember it was not easy to reproduce. I know I tried for
several hours different ways. It would only happen when I was not trying
to observe it.
My theory is that the undo stack becomes corrupted in some situation
(for example, pointers are assigned incorrectly). A review of the code
that has to do with undo/redo and line-deletion would probably discover
the bug if it is still there.
~ Patrik
More information about the pkg-gnome-maintainers
mailing list