jEdit / Plugin Feature Requests / #338 Console commando toolbar

#338 Console commando toolbar

Status: open

Owner: nobody

Labels: None

Priority: 5

Updated: 2017-12-29

Created: 2014-06-27

Creator: Dale Anson

Private: No

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.

Discussion

Alan Ezust - 2017-12-29

I hate the toolbar, I always have it hidden.

If you would like to refer to this comment somewhere else in this project, copy and paste the following link:

Console commando toolbar

jEdit is a programmer's text editor written in Java.

Group

Searches

Help

#338 Console commando toolbar

Discussion