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

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

@@ -154 +154 @@
         }
 
+        @Override
         public void setCustomText(String message) {
             if(message.isEmpty())
@@ -161 +162 @@
         }
 
+        @Override
         public void setIndeterminate(boolean indeterminate) {
             progressBar.setIndeterminate(indeterminate);
@@ -166 +168 @@
         }
 
+        @Override
         public void setMaximum(int maximum) {
             progressBar.setMaximum(maximum);
@@ -179 +182 @@
          * task titles together with their execution time.
          */
+        @Override
         public void setTaskTitle(String taskTitle) {
 
@@ -207 +211 @@
         }
 
+        @Override
         public void setValue(int value) {
             progressBar.setValue(value);