20 package net.sf.gridarta.model.settings;
23 import java.util.prefs.PreferenceChangeEvent;
24 import java.util.prefs.PreferenceChangeListener;
25 import java.util.prefs.Preferences;
28 import org.jetbrains.annotations.NotNull;
121 final PreferenceChangeListener preferenceChangeListener =
new PreferenceChangeListener() {
124 public void preferenceChange(
final PreferenceChangeEvent evt) {
125 switch (evt.getKey()) {
149 PREFERENCES.addPreferenceChangeListener(preferenceChangeListener);
167 if (this.archDirectory.equals(effectiveArchDirectory)) {
171 this.archDirectory = effectiveArchDirectory;
193 if (this.mapsDirectory.equals(effectiveMapsDirectory)) {
197 this.mapsDirectory = effectiveMapsDirectory;
198 if (updatePreferences) {
216 if (this.mediaDirectory.equals(effectiveMediaDirectory)) {
220 this.mediaDirectory = effectiveMediaDirectory;
235 if (this.imageSet.equals(
imageSet)) {