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