1 | // License: GPL. For details, see LICENSE file.
|
---|
2 | package org.openstreetmap.josm.gui;
|
---|
3 |
|
---|
4 | import static org.openstreetmap.josm.gui.help.HelpUtil.ht;
|
---|
5 |
|
---|
6 | import java.awt.Dimension;
|
---|
7 |
|
---|
8 | import javax.swing.JSlider;
|
---|
9 | import javax.swing.UIManager;
|
---|
10 | import javax.swing.event.ChangeEvent;
|
---|
11 | import javax.swing.event.ChangeListener;
|
---|
12 |
|
---|
13 | import org.openstreetmap.josm.gui.NavigatableComponent.ZoomChangeListener;
|
---|
14 | import org.openstreetmap.josm.gui.help.Helpful;
|
---|
15 | import org.openstreetmap.josm.tools.Destroyable;
|
---|
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 | */
|
---|
20 | class MapSlider extends JSlider implements ZoomChangeListener, ChangeListener, Helpful, Destroyable {
|
---|
21 |
|
---|
22 | private static final double ZOOM_STEP = 1.1;
|
---|
23 | private final MapView mv;
|
---|
24 | private boolean preventChange;
|
---|
25 | private int lastValue;
|
---|
26 |
|
---|
27 | MapSlider(MapView mv) {
|
---|
28 | super(0, 160);
|
---|
29 | setOpaque(false);
|
---|
30 | this.mv = mv;
|
---|
31 | NavigatableComponent.addZoomChangeListener(this);
|
---|
32 | addChangeListener(this);
|
---|
33 | // Call this manually once so it gets setup correctly
|
---|
34 | zoomChanged();
|
---|
35 | int w = UIManager.getDefaults().getInt("Slider.thumbWidth") + 150;
|
---|
36 | setPreferredSize(new Dimension(w, 27));
|
---|
37 | }
|
---|
38 |
|
---|
39 | @Override
|
---|
40 | public void zoomChanged() {
|
---|
41 | double maxScale = this.mv.getMaxScale();
|
---|
42 | int zoom = (int) Math.round(Math.log(maxScale/mv.getScale())/Math.log(ZOOM_STEP));
|
---|
43 | preventChange = true;
|
---|
44 | setValue(zoom);
|
---|
45 | lastValue = zoom;
|
---|
46 | preventChange = false;
|
---|
47 | }
|
---|
48 |
|
---|
49 | @Override
|
---|
50 | public void stateChanged(ChangeEvent e) {
|
---|
51 | if (preventChange) return;
|
---|
52 |
|
---|
53 | if (!getModel().getValueIsAdjusting() && mv.getNativeScaleLayer() != null) {
|
---|
54 | if (getValue() < lastValue) {
|
---|
55 | mv.zoomOut();
|
---|
56 | } else if (getValue() > lastValue) {
|
---|
57 | mv.zoomIn();
|
---|
58 | }
|
---|
59 | } else {
|
---|
60 | double maxScale = this.mv.getMaxScale();
|
---|
61 | double scale = maxScale/Math.pow(ZOOM_STEP, getValue());
|
---|
62 | double snapped = mv.scaleFloor(scale);
|
---|
63 | mv.zoomTo(this.mv.getCenter(), snapped);
|
---|
64 | }
|
---|
65 | zoomChanged();
|
---|
66 | }
|
---|
67 |
|
---|
68 | @Override
|
---|
69 | public String helpTopic() {
|
---|
70 | return ht("/MapView/Slider");
|
---|
71 | }
|
---|
72 |
|
---|
73 | @Override
|
---|
74 | public void destroy() {
|
---|
75 | NavigatableComponent.removeZoomChangeListener(this);
|
---|
76 | }
|
---|
77 | }
|
---|