On Thu, Feb 16, 2017 at 10:10 AM, jkn <[email protected]> wrote:
some of Leo's primitive commands could benefit from a re-naming blitz > (difficult though I imagine this would be), > *Changing* the name of existing commands would break settings files. It's possible (and easy), to *add* a new command name. However, once you've tracked down the "official" name for a command, there is not much use in creating another name ;-) there > > seem to be several naming schemes going on there... > - also confusingly to me, the keys they are bound to are called > "Ctrl+Next" and "Ctrl+Prior". > This is a separate issue. The names come from Tk (iirc). Again, they can't be removed, but new names could be added. This would be surprisingly complicated, but would be worth doing. I'll add an enhancement request. I'm the one to do that, as the details involve Leo's deepest innards. 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 post to this group, send email to [email protected]. Visit this group at https://groups.google.com/group/leo-editor. For more options, visit https://groups.google.com/d/optout.
