On Monday, December 23, 2019 at 6:37:37 AM UTC-5, Viktor Ransmayr wrote:

>> Any recommendation on what to try next to make some progress on this 
issue?

> Does the feature 'abbreviations' require any plugins to be activated?

No.  The relevant code is in Leo's core, namely the AbbrevCommands in 
leo/commands/abbrevCommands.py

Rev 988be4b in devel adds new traces to this class.  Please run Leo with 
--trace=keys.

With this trace enabled, I get the following after typing `g;;` in the body 
pane:

Leo 6.2-b1-devel, devel branch, build 988be4b238
2019-12-24 08:35:18 -0500
traceKeys    shortcut-override:         'g'
traceKeys            key-press:         'g'
LeoKeyEvent: binding: g, stroke: <KeyStroke: 'g'>, char: 'g'
masterKeyHandler None 'g' <KeyStroke: 'g'>
masterCommand <no function> stroke <KeyStroke: 'g'>
expandAbbrev No prefix in ''
traceKeys          key-release:         'g'
traceKeys          key-release:         'g'
traceKeys    shortcut-override:         ';'
traceKeys            key-press:         ';'
LeoKeyEvent: binding: ;, stroke: <KeyStroke: ';'>, char: ';'
masterKeyHandler None ';' <KeyStroke: ';'>
masterCommand <no function> stroke <KeyStroke: ';'>
expandAbbrev No prefix in 'g'
traceKeys          key-release:         ';'
traceKeys          key-release:         ';'
traceKeys    shortcut-override:         ';'
traceKeys            key-press:         ';'
LeoKeyEvent: binding: ;, stroke: <KeyStroke: ';'>, char: ';'
masterKeyHandler None ';' <KeyStroke: ';'>
masterCommand <no function> stroke <KeyStroke: ';'>
expandAbbrev Found 'g;;' = 'import leo.core.leoGlobals as g'
traceKeys          key-release:         ';'
traceKeys          key-release:         ';'

What do you see when you type what you think should be a valid abbreviation?

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 view this discussion on the web visit 
https://groups.google.com/d/msgid/leo-editor/4b3620e6-cc17-4f4b-b256-4daec9c4a172%40googlegroups.com.

Reply via email to