On Friday, July 7, 2023 at 9:35:51 AM UTC-5 Edward K. Ream wrote: > I'm not going to do this...I've closed this PR and am not likely to reopen it.
As always, you can write a plugin that makes Leo work exactly as you want. You do not need my permission :-) Note the preread code in the PR. It eliminates the need to override Leo's existing commands. 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/96121f01-0b5a-4289-92f3-173fc263e30fn%40googlegroups.com.