This branch contains work for #1731 <https://github.com/leo-editor/leo-editor/issues/1731>. PR #1732 <https://github.com/leo-editor/leo-editor/pull/1732> is the corresponding PR.
The work went much more smoothly that I thought. Let me know if you find any problems. This branch also features, for the first time ever, clear traces of each incoming keystroke and the corresponding Leo command or code. Enable those traces with --trace=keys. You can use --trace=keys,verbose for more details. The ekr-tabs branch has been merged into the ekr-undo branch. I plan to merge ekr-tabs into devel in about a week. 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 [email protected]. To view this discussion on the web visit https://groups.google.com/d/msgid/leo-editor/e01428b9-4508-47d3-9708-c58248e9edffn%40googlegroups.com.
