[ jEdit-devel ] [ jedit-Bugs-2958664 ] Plugin menu list structured too early

Bugs item #2958664, was opened at 2010-02-25 13:50
Message generated for change (Comment added) made by shlomy
You can respond by visiting: 
https://sourceforge.net/tracker/?func=detail&atid=100588&aid=2958664&group_id=588

Please note that this message will contain a full copy of the comment thread,
including the initial issue submission, for this request,
not just the latest update.
Category: None
Group: None
Status: Open
Resolution: Invalid
Priority: 5
Private: No
Submitted By: Juergen Weber (weberjn)
Assigned to: Nobody/Anonymous (nobody)
Summary: Plugin menu list structured too early

Initial Comment:
After a certain amount of plugins the plugin menu does not show a flat plugin menu but rather via A-W and W-Z submenues. 
The amount should be configurable or the amount should be better calculated. The screen length of the submenu groups combined would still fit onto my screen.

----------------------------------------------------------------------

>Comment By: Shlomy Reinstein (shlomy)
Date: 2010-02-28 20:57

Message:
I guess you're right, I just recall in general that some non-trivial work
is done by jEdit for deciding about the location & size of menus.
I wonder why the menu splitting was done this way (i.e. configurable by
the number of items and not automatically calculated from the screen
height), but there was probably a reason behind it. Anyone has an idea?
Note that there's a small difference between the view and the menus. The
size and location of the menus is determined dynamically, e.g. if there's
not enough place below the menu bar, the menu will be shown on top of it
instead. So it needs to be calculated each time.

----------------------------------------------------------------------

Comment By: Juergen Weber (weberjn)
Date: 2010-02-25 14:34

Message:
Isn't calculating the screen height necessary for knowing how many lines of
text jEdit has to display? Or is that done automatically by Swing?

Thanks for the options hint, I had overlooked it, sorry.

----------------------------------------------------------------------

Comment By: Shlomy Reinstein (shlomy)
Date: 2010-02-25 14:27

Message:
The number of items that cause a menu to split this way is configurable
using Global Options -> jEdit / Appearance -> Number of items before menus
spill over.

Calculating this automatically by screen size is not trivial in
multi-screen environments, but if you think it should be automatic please
change this into a feature request.


----------------------------------------------------------------------

You can respond by visiting: 
https://sourceforge.net/tracker/?func=detail&atid=100588&aid=2958664&group_id=588