Changeset 7291 in josm for trunk/src/org/openstreetmap/josm/gui/MainMenu.java
- Timestamp:
- 2014-07-05T18:38:07+02:00 (10 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
trunk/src/org/openstreetmap/josm/gui/MainMenu.java
r7131 r7291 8 8 import java.awt.Component; 9 9 import java.awt.GraphicsEnvironment; 10 import java.awt.Toolkit;11 10 import java.awt.event.KeyEvent; 12 11 import java.util.HashMap; … … 571 570 final JMenu menu = new JMenu(tr(name)); 572 571 if (!GraphicsEnvironment.isHeadless()) { 573 int screenHeight = Toolkit.getDefaultToolkit().getScreenSize().height;574 572 int menuItemHeight = new JMenu().add(newAction).getPreferredSize().height; 575 MenuScroller.setScrollerFor(menu, screenHeight / menuItemHeight); 573 MenuScroller.setScrollerFor(menu, 574 MenuScroller.computeScrollCount(menu, menuItemHeight)); 576 575 } 577 576 return addMenu(menu, name, mnemonicKey, position, relativeHelpTopic);
Note:
See TracChangeset
for help on using the changeset viewer.