Changeset 12826 in josm for trunk/src/org/openstreetmap/josm/gui/preferences/advanced/AdvancedPreference.java
- Timestamp:
- 2017-09-12T00:58:32+02:00 (7 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
trunk/src/org/openstreetmap/josm/gui/preferences/advanced/AdvancedPreference.java
r12634 r12826 39 39 import org.openstreetmap.josm.actions.DiskAccessAction; 40 40 import org.openstreetmap.josm.data.Preferences; 41 import org.openstreetmap.josm.data.PreferencesUtils; 41 42 import org.openstreetmap.josm.data.preferences.Setting; 42 43 import org.openstreetmap.josm.data.preferences.StringSetting; … … 264 265 for (File f : files) { 265 266 CustomConfigurator.readXML(f, tmpPrefs); 266 log.append( CustomConfigurator.getLog());267 log.append(PreferencesUtils.getLog()); 267 268 } 268 269 log.append("</html>");
Note:
See TracChangeset
for help on using the changeset viewer.