Changeset 6084 in josm for trunk/src/org/openstreetmap/josm/gui/preferences/PreferenceTabbedPane.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/preferences/PreferenceTabbedPane.java (modified) (3 diffs)

trunk/src/org/openstreetmap/josm/gui/preferences/PreferenceTabbedPane.java

@@ -267 +267 @@
         //
         final Runnable continuation = new Runnable() {
+            @Override
             public void run() {
                 boolean requiresRestart = false;
@@ -332 +333 @@
             Main.worker.submit(
                     new Runnable() {
+                        @Override
                         public void run() {
                             SwingUtilities.invokeLater(continuation);
@@ -471 +473 @@
      * tab strip and scrolls one tab/down or up, selecting it immediately.
      */
+    @Override
     public void mouseWheelMoved(MouseWheelEvent wev) {
         // Ensure the cursor is over the tab strip