[ jEdit-devel ] [Bug #111515] Undo after repeated command should undo all

[<no...@so...>]

Bug #111515, was updated on 2000-Aug-09 12:35
Here is a current snapshot of the bug.

Project: jEdit
Category: editor core
Status: Open
Resolution: None
Bug Group: feature request
Priority: 5
Summary: Undo after repeated command should undo all

Details: currently, if you repeat a command using C+ENTER and then subsequently try to undo it, each repetition must be undone individually. this doesn't happen with repeated keystrokes, only actions. i didn't check macros.

For detailed info, follow this link:
http://sourceforge.net/bugs/?func=detailbug&bug_id=111515&group_id=588