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

Timestamp:

2007-10-13T23:54:18+02:00 (17 years ago)

Author:

gebner

Message:

Fix warnings caused by missing @Overrides. Patch by dpenezic@…,
bug #402.

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
          */
-        public void mouseDragged(MouseEvent e) {
+        @Override 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.
          */
-        public void mouseWheelMoved(MouseWheelEvent e) {
+        @Override public void mouseWheelMoved(MouseWheelEvent e) {
                 int w = nc.getWidth();
                 int h = nc.getHeight();
@@ -177 +177 @@
          * Does nothing. Only to satisfy MouseMotionListener
          */
-        public void mouseMoved(MouseEvent e) {}
+        @Override public void mouseMoved(MouseEvent e) {}
 }