This branch contains work for
#1731. PR
#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