When working in a hoisted tree, I occasionally experience "random" 
de-hoisting. It's not really random, as it only occurs when I'm typing. And 
I'm not a great typist, so it is certainly possible - likely! - that my fat 
fingers are the culprit. But... I have looked through all my settings to 
find the key-combination that I may be inadvertently hitting, and I don't 
see how I can be causing this; Ctrl-Alt-Shift-h and Alt-O-H-E are quite 
specific combinations, that seem highly unlikely to be hit at random. One 
other possible factor is that I have defined Hoist/Dehoist buttons as I use 
these frequently; but these require a mouse click to operate, and I lack 
the dexterity to be mousing and typing at the same time!

Any ideas?

Here's what I'm running:

Leo 6.2.1 final
Python 3.7.3, PyQt version 5.12.4
linux

Thanks!
Phil

-- 
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/9d67b221-11e1-49af-b606-d4114a529189n%40googlegroups.com.

Reply via email to