Changeset 12537 in josm for trunk/src/org/openstreetmap/josm/gui/MapSlider.java
- Timestamp:
- 2017-07-30T00:22:46+02:00 (7 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
trunk/src/org/openstreetmap/josm/gui/MapSlider.java
r12391 r12537 20 20 class MapSlider extends JSlider implements PropertyChangeListener, ChangeListener, Helpful { 21 21 22 private static final double zoomStep= 1.1;22 private static final double ZOOM_STEP = 1.1; 23 23 private final MapView mv; 24 24 private boolean preventChange; … … 40 40 public void propertyChange(PropertyChangeEvent evt) { 41 41 double maxScale = this.mv.getMaxScale(); 42 int zoom = (int) Math.round(Math.log(maxScale/mv.getScale())/Math.log( zoomStep));42 int zoom = (int) Math.round(Math.log(maxScale/mv.getScale())/Math.log(ZOOM_STEP)); 43 43 preventChange = true; 44 44 setValue(zoom); … … 59 59 } else { 60 60 double maxScale = this.mv.getMaxScale(); 61 double scale = maxScale/Math.pow( zoomStep, getValue());61 double scale = maxScale/Math.pow(ZOOM_STEP, getValue()); 62 62 double snapped = mv.scaleFloor(scale); 63 63 mv.zoomTo(this.mv.getCenter(), snapped);
Note:
See TracChangeset
for help on using the changeset viewer.