20 package net.sf.gridarta.model.settings;
23 import java.util.prefs.PreferenceChangeListener;
24 import java.util.prefs.Preferences;
27 import org.jetbrains.annotations.NotNull;
120 final PreferenceChangeListener preferenceChangeListener = evt -> {
121 switch (evt.getKey()) {
143 PREFERENCES.addPreferenceChangeListener(preferenceChangeListener);
161 if (this.archDirectory.equals(effectiveArchDirectory)) {
165 this.archDirectory = effectiveArchDirectory;
187 if (this.mapsDirectory.equals(effectiveMapsDirectory)) {
191 this.mapsDirectory = effectiveMapsDirectory;
192 if (updatePreferences) {
210 if (this.mediaDirectory.equals(effectiveMediaDirectory)) {
214 this.mediaDirectory = effectiveMediaDirectory;
229 if (this.imageSet.equals(
imageSet)) {