I have been lamenting the lack of easily-type key bindings *forever*, but
here is the output of print-bindings as relates to number keys:
***** Ctrl+Shift...
Ctrl+Shift+0 delete-comments
Ctrl+Shift+9 add-comments
***** Ctrl...
Nothing!
So *all* of the Ctrl-<number> bindings are available, as are most of the
Ctrl-Shift-<number> bindings.
I'll mention this in the tutorial.
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 http://groups.google.com/group/leo-editor.
For more options, visit https://groups.google.com/d/optout.
