Changeset 391 in josm for trunk/src/org/openstreetmap

Timestamp:

2007-10-15T19:16:10+02:00 (17 years ago)

Author:

gebner

Message:

Fix build for JDK 1.5.

File:

• trunk/src/org/openstreetmap/josm/gui/MapMover.java (modified) (3 diffs)

trunk/src/org/openstreetmap/josm/gui/MapMover.java

@@ -93 +93 @@
          * If the right (and only the right) mouse button is pressed, move the map
          */
-        @Override public void mouseDragged(MouseEvent e) {
+        public void mouseDragged(MouseEvent e) {
                 int offMask = MouseEvent.BUTTON1_DOWN_MASK | MouseEvent.BUTTON2_DOWN_MASK;
                 if ((e.getModifiersEx() & (MouseEvent.BUTTON3_DOWN_MASK | offMask)) == MouseEvent.BUTTON3_DOWN_MASK) {
@@ -158 +158 @@
          * @param e The wheel event.
          */
-        @Override public void mouseWheelMoved(MouseWheelEvent e) {
+        public void mouseWheelMoved(MouseWheelEvent e) {
                 int w = nc.getWidth();
                 int h = nc.getHeight();
@@ -177 +177 @@
          * Does nothing. Only to satisfy MouseMotionListener
          */
-        @Override public void mouseMoved(MouseEvent e) {}
+        public void mouseMoved(MouseEvent e) {}
 }