just to keep you posted: I found another Redo/Undo Library that I'll try out in one of the next releases. I hope that one will work better. It's a python port of the Gedit Undo Mechanism, and it has some cool features (like merging undo stuff into one »undo«)
Hi Martin,
just to keep you posted: I found another Redo/Undo Library that I'll try out in one of the next releases. I hope that one will work better. It's a python port of the Gedit Undo Mechanism, and it has some cool features (like merging undo stuff into one »undo«)
Anyway, thanks for the bug report :)
WOlf