Changeset 6084 in josm for trunk/src/org/openstreetmap/josm/gui/MapSlider.java

Timestamp:

2013-07-26T13:38:17+02:00 (11 years ago)

Author:

bastiK

Message:

see #8902 - add missing @Override annotations (patch by shinigami)

File:

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

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

@@ -29 +29 @@
     }
 
+    @Override
     public void propertyChange(PropertyChangeEvent evt) {
         if (getModel().getValueIsAdjusting()) return;
@@ -54 +55 @@
     }
 
+    @Override
     public void stateChanged(ChangeEvent e) {
         if (preventChange) return;
@@ -65 +67 @@
     }
 
+    @Override
     public String helpTopic() {
         return ht("/MapView/Slider");