Changeset 9913 in osm for applications/editors/josm/plugins/validator/src

Timestamp:

2008-08-17T14:54:38+02:00 (16 years ago)

Author:

stoecker

Message:

some cleanups

Location:

applications/editors/josm/plugins/validator/src/org/openstreetmap/josm/plugins/validator

Files:

• PreferenceEditor.java (modified) (1 diff)
• Severity.java (modified) (1 diff)

applications/editors/josm/plugins/validator/src/org/openstreetmap/josm/plugins/validator/PreferenceEditor.java

@@ -76 +76 @@
                 String description = tr("A OSM data validator that checks for common errors made by users and editor programs.");
                 if( ver != null )
-                        description += "<br><br>" + tr("Version: {0}<br>Last change at {1}", ver.revision, ver.time);
+                        description += "<br>" + tr("Version {0} - Last change at {1}", ver.revision, ver.time);
                 JPanel tab = gui.createPreferenceTab("validator", tr("Data validator"), description);
                 tab.add(testPane, GBC.eol().fill(GBC.BOTH));

applications/editors/josm/plugins/validator/src/org/openstreetmap/josm/plugins/validator/Severity.java

@@ -6 +6 @@
 import java.awt.Color;
 
-import org.openstreetmap.josm.data.Preferences;
+import org.openstreetmap.josm.Main;
 
 /** The error severity */
 public enum Severity {
         /** Error messages */
-        ERROR(tr("Errors"), "error.gif",       Preferences.getPreferencesColor(marktr("validation error"), Color.RED)),
+        ERROR(tr("Errors"), "error.gif",       Main.pref.getColor(marktr("validation error"), Color.RED)),
         /** Warning messages */ 
-        WARNING(tr("Warnings"), "warning.gif", Preferences.getPreferencesColor(marktr("validation warning"), Color.YELLOW)), 
+        WARNING(tr("Warnings"), "warning.gif", Main.pref.getColor(marktr("validation warning"), Color.YELLOW)), 
         /** Other messages */ 
-        OTHER(tr("Other"), "other.gif",        Preferences.getPreferencesColor(marktr("validation other"), Color.CYAN)); 
+        OTHER(tr("Other"), "other.gif",        Main.pref.getColor(marktr("validation other"), Color.CYAN)); 
         
         /** Description of the severity code */