Changeset 14478 in josm for trunk/src/org/openstreetmap/josm/gui/MapSlider.java
- Timestamp:
- 2018-12-01T16:56:42+01:00 (7 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
trunk/src/org/openstreetmap/josm/gui/MapSlider.java
r13201 r14478 11 11 import javax.swing.event.ChangeListener; 12 12 13 import org.openstreetmap.josm.gui.NavigatableComponent.ZoomChangeListener; 13 14 import org.openstreetmap.josm.gui.help.Helpful; 14 import org.openstreetmap.josm. gui.NavigatableComponent.ZoomChangeListener;15 import org.openstreetmap.josm.tools.Destroyable; 15 16 16 17 /** 17 18 * This is the slider used in the top left corner of the map view. It allows the user to select the scale 18 19 */ 19 class MapSlider extends JSlider implements ZoomChangeListener, ChangeListener, Helpful { 20 class MapSlider extends JSlider implements ZoomChangeListener, ChangeListener, Helpful, Destroyable { 20 21 21 22 private static final double ZOOM_STEP = 1.1; … … 69 70 return ht("/MapView/Slider"); 70 71 } 72 73 /** 74 * Free resources 75 */ 76 public void destroy() { 77 NavigatableComponent.removeZoomChangeListener(this); 78 } 71 79 }
Note:
See TracChangeset
for help on using the changeset viewer.
