Store user preferences to a XML file just in case system preferences subsystem (e.g. Windows Registry) has issues
This commit is contained in:
parent
3323ae1aa7
commit
9dc93cac2b
|
@ -129,10 +129,10 @@ public class Main {
|
||||||
if (Preferences.userNodeForPackage(Main.class).keys().length == 0) {
|
if (Preferences.userNodeForPackage(Main.class).keys().length == 0) {
|
||||||
File f = ApplicationFolder.AppData.resolve("preferences.backup.xml");
|
File f = ApplicationFolder.AppData.resolve("preferences.backup.xml");
|
||||||
if (f.exists()) {
|
if (f.exists()) {
|
||||||
log.info("Restore user preferences: " + f);
|
log.fine("Restore user preferences: " + f);
|
||||||
Settings.restore(f);
|
Settings.restore(f);
|
||||||
} else {
|
} else {
|
||||||
log.info("No user preferences found: " + f);
|
log.fine("No user preferences found: " + f);
|
||||||
}
|
}
|
||||||
}
|
}
|
||||||
} catch (Exception e) {
|
} catch (Exception e) {
|
||||||
|
|
Loading…
Reference in New Issue