On Mon, Jun 26, 2017 at 5:23 AM, vitalije <[email protected]> wrote:
> I have spent few hours trying to restore this shortcut without success.
>
​Unfortunate. I'll look into this.
The workaround is to create the following @command node as a child of the
@commands ​node in myLeoSettings.leo
- @settings
- @commands
- @command fquick-selected @key=Shift-Ctrl-F
The body is:
c.k.simulateCommand('find-quick-selected')
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.