Reinhard
[...]
> BTW: Change the order the key bindings and the command names are shown
> (first the command names, then the key bindings). Right now, it looks
> horrible.
>
As it happens I agree that this would be a better way round; I will
probably have a look at submitting a patch for this in the next day or two.
But might I suggest that you frame this sort of thing as a *request*? Leo
is a one-man/community voluntary effort; it is not up to anyone to adopt or
implement your preferences, only perhaps to note that you have them.
Jon N
--
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/groups/opt_out.
