Changeset 14478 in josm for trunk/src/org/openstreetmap
- Timestamp:
- 2018-12-01T16:56:42+01:00 (6 years ago)
- Location:
- trunk/src/org/openstreetmap/josm/gui
- Files:
-
- 2 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 } -
trunk/src/org/openstreetmap/josm/gui/MapView.java
r14120 r14478 71 71 import org.openstreetmap.josm.gui.mappaint.MapPaintStyles; 72 72 import org.openstreetmap.josm.gui.mappaint.MapPaintStyles.MapPaintSylesUpdateListener; 73 import org.openstreetmap.josm.gui.util.GuiHelper; 73 74 import org.openstreetmap.josm.io.audio.AudioPlayer; 74 75 import org.openstreetmap.josm.spi.preferences.Config; … … 808 809 nonChangedLayersBuffer = null; 809 810 offscreenBuffer = null; 811 GuiHelper.destroyComponents(this, false); 810 812 } 811 813
Note:
See TracChangeset
for help on using the changeset viewer.