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

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

@@ -353 +353 @@
 
         GuiHelper.runInEDT(new Runnable() {
+            @Override
             public void run() {
                 splash.setVisible(false);
@@ -381 +382 @@
 
         SwingUtilities.invokeLater(new Runnable() {
+            @Override
             public void run() {
                 if (AutosaveTask.PROP_AUTOSAVE_ENABLED.get()) {