I suggest moving Console's commando toolbar to the toolbar in Console's dockable window rather than place it on jEdit's toolbar. I always hide the jEdit toolbar so I have more vertical space for the text area. I suspect most people dock Console at the bottom, so there is plenty of room for a toolbar. Another option would be to put the commando items in a dropdown to select rather than individual buttons on a toolbar.
Submitted | daleanson - 2014-06-27 17:41:06.890000 | Assigned | |
---|---|---|---|
Priority | 5 | Labels | |
Status | open | Group | None |
Resolution | None |
2017-12-29 20:12:37.012000 ezust |
I hate the toolbar, I always have it hidden.
|
---|