Changeset 16578 in josm
- Timestamp:
- 2020-06-08T21:36:55+02:00 (4 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
trunk/src/org/openstreetmap/josm/gui/mappaint/MapPaintStyles.java
r16563 r16578 50 50 private static final class MapPaintStylesPreferenceListener implements PreferenceChangedListener { 51 51 private final IPreferences pref; 52 /** Preferences to ignore (i.e., if they change, don't reload) */ 53 private final List<String> preferenceIgnoreList; 52 54 53 55 MapPaintStylesPreferenceListener(IPreferences pref) { 54 56 this.pref = pref; 57 this.preferenceIgnoreList = Arrays.asList("mappaint.style.entries", "mappaint.style.known-defaults"); 55 58 } 56 59 57 60 @Override 58 61 public void preferenceChanged(PreferenceChangeEvent e) { 59 if (e.getKey().contains("mappaint") ) {62 if (e.getKey().contains("mappaint") && !this.preferenceIgnoreList.contains(e.getKey())) { 60 63 // We need to remove this from the listeners, so that we don't recursively call ourselves. 61 64 pref.removePreferenceChangeListener(this);
Note:
See TracChangeset
for help on using the changeset viewer.