On Sat, Oct 22, 2016 at 11:44 AM, 'Karsten Wolf' via leo-editor <
[email protected]> wrote:
And defining:
>
> do-nothing = Alt-q
>
> Makes Alt+Q a dead key.
>
My apologies.
This seems to be a hole in Leo's binding mechanism.
Please try executing the following script:
stroke = c.k.strokeFromSetting('Alt+Q')
c.k.kill_one_shortcut(stroke)
Does it work for you? If so, it will be the basis of the fix.
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.