Somehow I made commits to master instead of devel. This is unfortunate,
because Leo's key handling is still not quite solid. You can check out
5.7.1 from master with:
git checkout tags/5.7.1
I have just merged the "args" and "keys3" branches into devel. Here are the
highlights:
*The args branch*
The following *command-line traces* enable traces without having to change
Leo's code.
--trace-binding=KEY trace commands bound to a key
--trace-events trace non-key events
--trace-focus trace changes of focus
--trace-gnx trace gnx logic
--trace-ipython trace ipython bridge
--trace-keys trace key events
--trace-plugins trace imports of plugins
--trace-setting=NAME trace where named setting is set
--trace-shutdown trace shutdown logic
--trace-themes trace theme init logic
--trace-vim trace vim mode
The --trace-keys and --trace-vim command-line args are particularly useful
when testing key-related features.
The args branch also removed many unused debugging settings from Leo's core
and leoSettings.leo.
*The keys3 branch*
There was a major bug in ks.finalize_char. This bug caused the so-called
"special" keys to be ignored depending the exact spelling of user bindings.
Now several of the cases cited in #870
<https://github.com/leo-editor/leo-editor/issues/870> do work.
The last problem, #869 <https://github.com/leo-editor/leo-editor/issues/869>
('Enter' in the Nav pane), should be fairly easy to fix.
*Summary*
Both the master and devel branches are a bit less stable than before. My
apologies.
Please test the devel branch, *not* the keys3 or args branches.
Key handling now mostly works. Much cruft in the Leo's core is gone.
*Command-line traces* enable debugging traces without us having to alter
Leo's source code. This should have been done long ago.
The args branch was a necessary prerequisite to fixing #863: Serious
problems changing branches.
<https://github.com/leo-editor/leo-editor/issues/863>
Many unused debugging settings are gone from Leo's core and leoSettings.leo.
All comments welcome.
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.
