Changeset 7463 in josm for trunk/src/org/openstreetmap/josm/gui/MainMenu.java
- Timestamp:
- 2014-08-30T01:59:31+02:00 (10 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
trunk/src/org/openstreetmap/josm/gui/MainMenu.java
r7291 r7463 570 570 final JMenu menu = new JMenu(tr(name)); 571 571 if (!GraphicsEnvironment.isHeadless()) { 572 int menuItemHeight = new JMenu().add(newAction).getPreferredSize().height; 573 MenuScroller.setScrollerFor(menu, 574 MenuScroller.computeScrollCount(menu, menuItemHeight)); 572 MenuScroller.setScrollerFor(menu); 575 573 } 576 574 return addMenu(menu, name, mnemonicKey, position, relativeHelpTopic);
Note:
See TracChangeset
for help on using the changeset viewer.