Changeset 14483 in josm for trunk/src/org/openstreetmap/josm/gui/MapSlider.java
- Timestamp:
- 2018-12-02T00:41:00+01:00 (5 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
trunk/src/org/openstreetmap/josm/gui/MapSlider.java
r14478 r14483 71 71 } 72 72 73 /** 74 * Free resources 75 */ 73 @Override 76 74 public void destroy() { 77 75 NavigatableComponent.removeZoomChangeListener(this);
Note:
See TracChangeset
for help on using the changeset viewer.