Changeset 1073 in josm for trunk/src/org/openstreetmap/josm/data/Preferences.java

Timestamp:

2008-11-09T22:10:39+01:00 (15 years ago)

Author:

stoecker

Message:

added some plugin checks

File:

• trunk/src/org/openstreetmap/josm/data/Preferences.java (modified) (2 diffs)

trunk/src/org/openstreetmap/josm/data/Preferences.java

@@ -388 +388 @@
         }
 
+        synchronized public long getLong(String key, long def) {
+                putDefault(key, Long.toString(def));
+                String v = get(key);
+                if(null == v)
+                        return def;
+
+                try {
+                        return Long.parseLong(v);
+                } catch(NumberFormatException e) {
+                        // fall out
+                }
+                return def;
+        }
+
         synchronized public double getDouble(String key, double def) {
                 putDefault(key, Double.toString(def));
@@ -408 +422 @@
                         /* handle old comma separated stuff - remove in future */
                         if(s.indexOf(',') >= 0)
+                                return Arrays.asList(s.split(","));
+                        /* handle space separated stuff - remove in future */
+                        else if(s.indexOf(' ') >= 0)
                                 return Arrays.asList(s.split(","));
                         else