Andre Poenitz wrote:
On Mon, Oct 21, 2002 at 09:05:11PM +0100, John Levon wrote:
What is "FINISHED" for ? Why does finishUndo() only set undo_finished
(how does that work) ?
what's the diff between INSERTED and EDIT ?
I think a sequence of INSERTED is un-done in one step, while EDIT is
un-done one by one.
But that's just wild guessing.
You're right. Charater inserts are not all replicated only evert n
chars we do a "real" undo create. Also there are optimizations on
EDIT calls so that the paragraph contents is not saved only it's
settings.
The finished flag is used to force the start of a new undo
instance.
Hope this helps,
Jürgen
--
-._-._-._-._-._-._-._-._-._-._-._-._-._-._-._-._-._-._-._-._-._-._-._
Dr. Jürgen Vigna E-Mail: [EMAIL PROTECTED]
Mitterstrich 151/A
I-39050 Steinegg Web: http://www.lyx.org/~jug
-._-._-._-._-._-._-._-._-._-._-._-._-._-._-._-._-._-._-._-._-._-._-._
