Changeset 101 in josm for src/org/openstreetmap/josm/gui/MapView.java

Timestamp:

2006-05-03T22:21:02+02:00 (18 years ago)

Author:

imi

Message:

• added zoom/move around with Ctrl+direction keys / Ctrl +, Ctrl -
• added progress bar counter of downloaded bytes
• added support for little-osm (relaxed assumptions about osm/xml input format)

File:

• src/org/openstreetmap/josm/gui/MapView.java (modified) (4 diffs)

src/org/openstreetmap/josm/gui/MapView.java

@@ -84 +84 @@
         private final AutoScaleAction autoScaleAction;
 
-        
+
         private final class Scaler extends JSlider implements PropertyChangeListener, ChangeListener {
                 boolean clicked = false;
@@ -91 +91 @@
                         addMouseListener(new MouseAdapter(){
                                 @Override public void mousePressed(MouseEvent e) {
-                        clicked = true;
-                }
+                                        clicked = true;
+                                }
                                 @Override public void mouseReleased(MouseEvent e) {
-                        clicked = false;
-                }
+                                        clicked = false;
+                                }
                         });
-                        MapView.this.addPropertyChangeListener(this);
+                        MapView.this.addPropertyChangeListener("scale", this);
                         addChangeListener(this);
-        }
+                }
                 public void propertyChange(PropertyChangeEvent evt) {
-                        if (evt.getPropertyName().equals("scale") && !getModel().getValueIsAdjusting())
+                        if (!getModel().getValueIsAdjusting())
                                 setValue(zoom());
-        }
+                }
                 public void stateChanged(ChangeEvent e) {
                         if (!clicked)
@@ -114 +114 @@
                         else
                                 zoomTo(center, pos.north()*2/(MapView.this.getHeight()-20));
-        }
-        }
-        
+                }
+        }
+
         public MapView(AutoScaleAction autoScaleAction) {
                 this.autoScaleAction = autoScaleAction;
@@ -154 +154 @@
                         Main.ds = dataLayer.data;
                         dataLayer.listenerModified.add(new ModifiedChangedListener(){
-                public void modifiedChanged(boolean value, OsmDataLayer source) {
-                        JOptionPane.getFrameForComponent(Main.parent).setTitle((value?"*":"")+"Java Open Street Map - Editor");
-                }
-            });
+                                public void modifiedChanged(boolean value, OsmDataLayer source) {
+                                        JOptionPane.getFrameForComponent(Main.parent).setTitle((value?"*":"")+"Java Open Street Map - Editor");
+                                }
+                        });
                 }