It should be global setting. Command line argument doesn't make sense, no other program in the world requires command line switch to work with european keyboards.
If find pane is the only thing that requires this, perhaps it's good to fix find pane to use other shortcuts (or disable the shortcuts, are they really needed that often?) On Feb 5, 2012 5:17 PM, "Edward K. Ream" <[email protected]> wrote: > The following question arises from code level considerations while > refactoring Leo's baroque key-handling code. However, this is "user- > level" question, and I'd like your advice. > > At present, Leo supports two key-related settings: > > @bool swap_mac_keys > @bool enable_alt_ctrl_bindings > > As I write this, I see that neither of these settings appear in > leoSettings.leo. I wonder what happened to them? I'll have to put > them back. > > When enable_alt_ctrl_bindings is True (recommended) all alt-ctrl keys > are assumed to be valid characters. I believe this is important for > European keyboards. BTW, there is a comment in my myLeoSettings.leo > file that this must be True in order to handle Alt-Ctrl bindings for > Leo's Find Pane... > > My question is this: it doesn't seem to make sense to enable these > settings on a per-Leo-file basis. Instead, it would seem much more > sensible to enable them from the command line, so that all files *at a > particular location* would treat keystrokes in the same way. Do you > agree? > > Turning these settings into command-line options would have > "technical" benefits. KeyStroke objects would not need to the know > the environment (commander) in which they are operating. > > Your thoughts, please, amigos. > > Edward > > -- > You received this message because you are subscribed to the Google Groups > "leo-editor" group. > To post to this group, send email to [email protected]. > To unsubscribe from this group, send email to > [email protected]. > For more options, visit this group at > http://groups.google.com/group/leo-editor?hl=en. > > -- You received this message because you are subscribed to the Google Groups "leo-editor" group. To post to this group, send email to [email protected]. To unsubscribe from this group, send email to [email protected]. For more options, visit this group at http://groups.google.com/group/leo-editor?hl=en.
