Changeset 9312 in josm

Timestamp:

2016-01-04T22:44:01+01:00 (9 years ago)

Author:

simon04

Message:

Preferences: backup before resetting the preference file

File:

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

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

@@ -965 +965 @@
                 save();
             } else if (reset) {
+                File backupFile = new File(prefDir, "preferences.xml.bak");
+                Main.platform.rename(preferenceFile, backupFile);
                 Main.warn(tr("Replacing existing preference file ''{0}'' with default preference file.", preferenceFile.getAbsoluteFile()));
                 resetToDefault();