On Sat, 24 Jun 2017 10:46:52 -0700 (PDT) "Edward K. Ream" <[email protected]> wrote:
> On Saturday, June 24, 2017 at 12:39:57 PM UTC-5, Edward K. Ream wrote: > > > > At present, install_qt_quicksearch_tab binds Ctrl-Shift-F to > > ind-quick-selected. > > > > Imo, plugins should never make such hard bindings--they prevent any > > other binding to Ctrl-Shift-F. Instead, the users should do so, as > > usual, in myLeoSettings.leo. Would it be fair to say that *if* a plug-in wished to define a default binding for a command, it should do it in leoSettings.leo, which users could override in myLeoSettings.leo? I guess I'm not sure what you mean by "prevent" - I would have expected plugin bindings to be overridden by myLeoSettings.leo. But not sure top of head how a plug-in would define a binding anyway, leading me to think the correct way would be to do it in leoSettings.leo. And also, that in this particular case, you could have moved the binding there to avoid the sudden change in established defaults that's been giving people trouble (I use that binding all the time too, haven't had computer time to deal with it yet). Finally, I'm sure you can define bindings for plugin commands in myLeoSettings.leo, e.g. I have: find-quick-timeline = Ctrl-Shift-T so wonder if that part is either people struggling to remember how to define bindings (as above in @settings-->@keys-->@shortcuts, seeing @keys does nothing else(?) it's easy to forget) or something weird going on in quicksearch.py. Cheers -Terry > Rev 3aee421 in master removes this binding. Please update your > myLeoSettings.leo files as appropriate. I myself bind Ctrl-Shift-F > to cff, but as usual we won't argue about preferences. > > 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.
