Changeset 7463 in josm for trunk/src/org/openstreetmap/josm/gui/ImageryMenu.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/ImageryMenu.java
r7291 r7463 33 33 import org.openstreetmap.josm.data.imagery.ImageryLayerInfo; 34 34 import org.openstreetmap.josm.data.imagery.Shape; 35 import org.openstreetmap.josm.gui.MapView.LayerChangeListener; 35 36 import org.openstreetmap.josm.gui.layer.ImageryLayer; 36 37 import org.openstreetmap.josm.gui.layer.Layer; … … 38 39 import org.openstreetmap.josm.tools.ImageProvider; 39 40 40 public class ImageryMenu extends JMenu implements MapView.LayerChangeListener { 41 /** 42 * Imagery menu, holding entries for imagery preferences, offset actions and dynamic imagery entries 43 * depending on current maview coordinates. 44 * @since 3737 45 */ 46 public class ImageryMenu extends JMenu implements LayerChangeListener { 41 47 42 48 private Action offsetAction = new JosmAction( … … 83 89 private final MapRectifierWMSmenuAction rectaction = new MapRectifierWMSmenuAction(); 84 90 91 /** 92 * Constructs a new {@code ImageryMenu}. 93 * @param subMenu submenu in that contains plugin-managed additional imagery layers 94 */ 85 95 public ImageryMenu(JMenu subMenu) { 86 96 super(tr("Imagery")); … … 107 117 private void setupMenuScroller() { 108 118 if (!GraphicsEnvironment.isHeadless()) { 109 int menuItemHeight = singleOffset.getPreferredSize().height; 110 MenuScroller.setScrollerFor(this, 111 MenuScroller.computeScrollCount(this, menuItemHeight)); 119 MenuScroller.setScrollerFor(this, 150, 2); 112 120 } 113 121 }
Note:
See TracChangeset
for help on using the changeset viewer.