Changeset 6084 in josm for trunk/src/org/openstreetmap/josm/gui/preferences/plugin

Timestamp:

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

Author:

bastiK

Message:

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

Location:

trunk/src/org/openstreetmap/josm/gui/preferences/plugin

Files:

• PluginListPanel.java (modified) (2 diffs)
• PluginPreferencesModel.java (modified) (1 diff)
• PluginUpdatePolicyPanel.java (modified) (1 diff)

trunk/src/org/openstreetmap/josm/gui/preferences/plugin/PluginListPanel.java

@@ -122 +122 @@
             }
         }
+        @Override
         public void actionPerformed(ActionEvent e) {
             // Select/unselect corresponding plugin in the model
@@ -228 +229 @@
             description.setText(pi.getDescriptionAsHtml());
             description.getEditorPane().addHyperlinkListener(new HyperlinkListener() {
+                @Override
                 public void hyperlinkUpdate(HyperlinkEvent e) {
                     if(e.getEventType() == EventType.ACTIVATED) {

trunk/src/org/openstreetmap/josm/gui/preferences/plugin/PluginPreferencesModel.java

@@ -144 +144 @@
                 availablePlugins,
                 new Comparator<PluginInformation>() {
+                    @Override
                     public int compare(PluginInformation o1, PluginInformation o2) {
                         String n1 = o1.getName() == null ? "" : o1.getName().toLowerCase();

trunk/src/org/openstreetmap/josm/gui/preferences/plugin/PluginUpdatePolicyPanel.java

@@ -240 +240 @@
 
     class TimeBasedPolicyChangeListener implements ChangeListener {
+        @Override
         public void stateChanged(ChangeEvent e) {
             lblUpdateInterval.setEnabled(!rbTimeBasedUpatePolicy.get(Policy.NEVER).isSelected());