UndoManager dockable panel

jEdit is a programmer's text editor written in Java.

Brought to you by: daleanson, ezust, grepppo, k_satoda, and 5 others

#61 UndoManager dockable panel

Status: open

Owner: nobody

Labels: None

Priority: 5

Updated: 2006-09-28

Created: 2006-09-28

Creator: Matthieu Casanova

Private: No

Hi, I think an UndoManager dockable panel could be a
good idea of plugin. It could list all undo for the
current buffer and maybe have some actions.
Another idea but I'm not sure if it could be done in a
plugin is to flag a version of the buffer. So it would
be possible to revert directly to this version using
the undo.

Discussion

Matthieu Casanova - 2008-03-05

Logged In: YES
user_id=285591
Originator: YES

After some studies this feature is impossible to be done in a plugin, and even in the core it would require a lot of refactoring

If you would like to refer to this comment somewhere else in this project, copy and paste the following link:

UndoManager dockable panel

jEdit is a programmer's text editor written in Java.

Group

Searches

Help

#61 UndoManager dockable panel

Discussion