Macro Manager: GUI tweak

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

Brought to you by: daleanson, ezust, grepppo, k_satoda, and 5 others

Status: open

Owner: nobody

Labels: None

Priority: 5

Updated: 2012-01-23

Created: 2008-05-02

Private: No

It would be nice to be able to resize the width of the list of macro descriptions, because many of them are too long.

BTW: In the macro information section the macro description is titled as "name", but the macro name isn't listed anywhere.

Alan Ezust - 2011-11-27

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

Alan Ezust - 2012-01-23

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