Re: [ jEdit-devel ] Shortcuts

[Philip M. <ph...@dy...>]

> You could add the option "All Shortcuts" to the combo box.

Or we can mix all shortcuts into one single section and differentiate among
them (globals, macros, plugins) with icons...
philip