Changeset 4122 in osm

Timestamp:

2007-08-14T14:54:51+02:00 (17 years ago)

Author:

frsantos

Message:

Preferences prefix moved from "tests" to "validator".

File:

• applications/editors/josm/plugins/validator/src/org/openstreetmap/josm/plugins/validator/util/Util.java (modified) (3 diffs)

applications/editors/josm/plugins/validator/src/org/openstreetmap/josm/plugins/validator/util/Util.java

@@ -16 +16 @@
 import org.openstreetmap.josm.data.osm.Way;
 import org.openstreetmap.josm.plugins.*;
+import org.openstreetmap.josm.plugins.validator.PreferenceEditor;
 import org.openstreetmap.josm.tools.ImageProvider;
 
@@ -162 +163 @@
             return new File(url.toString() ) ;
         
-        String localPath = Main.pref.get("tests.mirror." + url);
+        String localPath = Main.pref.get( PreferenceEditor.PREFIX + ".mirror." + url);
         File oldFile = null;
         if( localPath != null && localPath.length() > 0)
@@ -225 +226 @@
         }
         
-        Main.pref.put("tests.mirror." + url, System.currentTimeMillis() + ";" + localPath);
+        Main.pref.put( PreferenceEditor.PREFIX + ".mirror." + url, System.currentTimeMillis() + ";" + localPath);
         
         if( oldFile != null )