Changeset 12391 in josm for trunk/src/org/openstreetmap/josm/gui/MapSlider.java
- Timestamp:
- 2017-06-11T13:57:28+02:00 (9 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
trunk/src/org/openstreetmap/josm/gui/MapSlider.java
r10078 r12391 15 15 import org.openstreetmap.josm.gui.help.Helpful; 16 16 17 /** 18 * This is the slider used in the top left corner of the map view. It allows the user to select the scale 19 */ 17 20 class MapSlider extends JSlider implements PropertyChangeListener, ChangeListener, Helpful { 18 21
Note:
See TracChangeset
for help on using the changeset viewer.
