This fix involves a tweak to Leo's lowest level key-handling code, namely filter.doAltTweaks. No change to Leo's abbreviation code seems to be necessary.
Although the change appears slight, it might have significant ramifications. Indeed, my first attempt (in devel) failed. I backed out of the change and made what looks like the correct change in the #1563 branch. Please test the code now. I'll wait for a day before merging. 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/f734105c-890c-4e69-b389-1ef0e5689def%40googlegroups.com.