Changeset 2372 in josm for trunk/src/org/openstreetmap/josm/data

Timestamp:

2009-11-01T14:14:52+01:00 (17 years ago)

Author:

stoecker

Message:

fix #3391 - update plugins after josm update

File:

• trunk/src/org/openstreetmap/josm/data/Preferences.java (modified) (1 diff)

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

@@ -323 +323 @@
     public void save() throws IOException {
         /* currently unused, but may help to fix configuration issues in future */
-        properties.put("josm.version", Version.getInstance().getVersionString());
+        putInteger("josm.version", Version.getInstance().getVersion());
 
         updateSystemProperties();