Maybe the copied position list could be a reference and not a copy if the positions have not changed since the last undo - which would usually be the case. A dirty flag for the list would have to be carried somewhere.
On Wednesday, August 26, 2020 at 11:45:19 AM UTC-4, Edward K. Ream wrote: > > > > On Wed, Aug 26, 2020 at 10:11 AM Thomas Passin <tbp1...@gmail.com > <javascript:>> wrote: > >> I think that if a copy of the current list of all positions were included >> in the undo data, then it could be restored upon undo and everything would >> work. I don't know if that would be too slow, so that it would affect the >> perceived speed of the keystrokes. >> > > Possible. > > Note that the default granularity (@string undo-granularity) of > keystrokes is 'line', not 'char'. > > Edward > -- You received this message because you are subscribed to the Google Groups "leo-editor" group. To unsubscribe from this group and stop receiving emails from it, send an email to leo-editor+unsubscr...@googlegroups.com. To view this discussion on the web visit https://groups.google.com/d/msgid/leo-editor/52177b00-4079-4a4d-b055-d540232d18a1o%40googlegroups.com.
