diff --git a/src/main/java/de/neemann/digital/gui/SettingsBase.java b/src/main/java/de/neemann/digital/gui/SettingsBase.java index 470136dac..2bcf3b4e9 100644 --- a/src/main/java/de/neemann/digital/gui/SettingsBase.java +++ b/src/main/java/de/neemann/digital/gui/SettingsBase.java @@ -37,11 +37,14 @@ public class SettingsBase implements AttributeListener { protected SettingsBase(List settingsKeys, String name) { this.settingsKeys = settingsKeys; + File defaultSettings = new File(new File(System.getProperty("user.home")), name); String settingsDir = System.getenv("XDG_CONFIG_HOME"); - if (settingsDir == null) { - settingsDir = System.getProperty("user.home"); + + if (defaultSettings.isFile() || settingsDir == null) { + filename = defaultSettings; + } else { + filename = new File(settingsDir, name); } - filename = new File(new File(settingsDir), name); ElementAttributes attr = null; if (filename.exists()) {