Changeset 15582 in josm for trunk/src/org/openstreetmap/josm/gui/preferences
- Timestamp:
- 2019-12-11T01:40:30+01:00 (4 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
trunk/src/org/openstreetmap/josm/gui/preferences/map/TaggingPresetPreference.java
r14634 r15582 32 32 import org.openstreetmap.josm.gui.preferences.TabPreferenceSetting; 33 33 import org.openstreetmap.josm.gui.tagging.presets.TaggingPresetReader; 34 import org.openstreetmap.josm.gui.tagging.presets.TaggingPresets; 34 35 import org.openstreetmap.josm.spi.preferences.Config; 35 36 import org.openstreetmap.josm.tools.GBC; … … 247 248 @Override 248 249 public boolean ok() { 249 boolean restart = Config.getPref().putBoolean("taggingpreset.sortmenu", sortMenu.getSelectedObjects() != null); 250 restart |= sources.finish(); 251 252 return restart; 250 if (sources.finish() 251 || Config.getPref().putBoolean("taggingpreset.sortmenu", sortMenu.getSelectedObjects() != null)) { 252 TaggingPresets.destroy(); 253 TaggingPresets.initialize(); 254 } 255 256 return false; 253 257 } 254 258
Note:
See TracChangeset
for help on using the changeset viewer.