Changeset 4593 in josm

Timestamp:

2011-11-14T20:29:45+01:00 (13 years ago)

Author:

simon04

Message:

see #5638 - scroll long menus (thanks to tips4java.wordpress.com)

Location:

trunk/src/org/openstreetmap/josm/gui

Files:

• MainMenu.java (modified) (2 diffs)
• MenuScroller.java (added)

trunk/src/org/openstreetmap/josm/gui/MainMenu.java

@@ -2 +2 @@
 package org.openstreetmap.josm.gui;
 
+import java.awt.Toolkit;
 import static org.openstreetmap.josm.gui.help.HelpUtil.ht;
 import static org.openstreetmap.josm.tools.I18n.marktr;
@@ -331 +332 @@
 
     public JMenu addMenu(String name, int mnemonicKey, int position, String relativeHelpTopic) {
-        return addMenu(new JMenu(tr(name)), name, mnemonicKey, position, relativeHelpTopic);
+        final JMenu menu = new JMenu(tr(name));
+        int screenHeight = Toolkit.getDefaultToolkit().getScreenSize().height;
+        int menuItemHeight = new JMenu().add(newAction).getPreferredSize().height;
+        MenuScroller.setScrollerFor(menu, screenHeight / menuItemHeight);
+        return addMenu(menu, name, mnemonicKey, position, relativeHelpTopic);
     }