Closed GoogleCodeExporter closed 9 years ago
Thanks for the report. I'm aware of this shortcoming. The reason being the
UndoManager I'm using groups smaller edits by time. So when you type fast, all
undo's are grouped together, until there is a slight pause in typing/changing,
and
then all the fast-typed are grouped into one undo operation.
In theory, it works okay sometimes, and is better IMHO than an undo
per-character
typed, which really gets irritating after a while.
I'll have a look at how this may possibly be enhanced, but it probably won't be
soon.
Original comment by ayman.al...@gmail.com
on 16 Apr 2009 at 5:38
I managed to find a new, better UndoManager that does not depend on time, but
the
position of edits.
http://tips4java.wordpress.com/2008/10/27/compound-undo-manager/
This seem to be much better now for most of the Undo Issues.
Original comment by ayman.al...@gmail.com
on 8 Nov 2009 at 10:15
See fix in r117.
Will be do a binary release shortly.
Original comment by ayman.al...@gmail.com
on 8 Nov 2009 at 10:16
Original issue reported on code.google.com by
david.e...@gmail.com
on 14 Apr 2009 at 12:26