On Saturday, September 21, 2019 at 5:32:37 PM UTC-5, Edward K. Ream wrote: > > #1342 <https://github.com/leo-editor/leo-editor/issues/1342> suggests > replacing buttons in the Find Tab with labels. This works around > intractable problems discussed in #1337 > <https://github.com/leo-editor/leo-editor/issues/1337>. >
I have merged the find-tab branch into devel. The labels now give the full command names used in minibuffer. This is useful information, especially when there is no key binding for a particular command. I'm happy with the result. Let me know if you aren't ;-) 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/d053ee7c-6032-4a7d-b13b-7659fcb8a33d%40googlegroups.com.
