Changeset 12620 in josm for trunk/src/org/openstreetmap/josm/gui/preferences/advanced/AdvancedPreference.java
- Timestamp:
- 2017-08-22T22:26:32+02:00 (9 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
trunk/src/org/openstreetmap/josm/gui/preferences/advanced/AdvancedPreference.java
r10627 r12620 51 51 import org.openstreetmap.josm.gui.widgets.JosmTextField; 52 52 import org.openstreetmap.josm.tools.GBC; 53 import org.openstreetmap.josm.tools.Logging; 53 54 import org.openstreetmap.josm.tools.Utils; 54 55 … … 338 339 Main.pref.save(); 339 340 } catch (IOException e) { 340 Main.warn(e, "IOException while saving preferences:");341 Logging.log(Logging.LEVEL_WARN, "IOException while saving preferences:", e); 341 342 } 342 343 readPreferences(Main.pref);
Note:
See TracChangeset
for help on using the changeset viewer.
