On Thursday, July 13, 2023 at 8:57:57 AM UTC-5 Edward K. Ream wrote:
On Thu, Jul 13, 2023 at 7:49 AM Edward K. Ream <edre...@gmail.com> wrote: > On second thought, *none of *[the git-diff commands] *need to be undoable* . Otoh, undoing an accidental abbreviation is essential. It's the only hard case, but I am confident that u.before/afterChangeGroup can do the job. 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/51228e90-9a3d-4fe0-a095-2c21c98ea556n%40googlegroups.com.