Changeset 13838 in josm for trunk/src/org/openstreetmap/josm/Main.java
- Timestamp:
- 2018-05-26T02:47:41+02:00 (8 years ago)
- File:
-
- 1 edited
-
trunk/src/org/openstreetmap/josm/Main.java (modified) (2 diffs)
Legend:
- Unmodified
- Added
- Removed
-
trunk/src/org/openstreetmap/josm/Main.java
r13647 r13838 9 9 import java.lang.ref.WeakReference; 10 10 import java.net.URL; 11 import java.nio.file.InvalidPathException; 11 12 import java.util.Collection; 12 13 import java.util.Collections; … … 347 348 try { 348 349 pref.saveDefaults(); 349 } catch (IOException ex) { 350 } catch (IOException | InvalidPathException ex) { 350 351 Logging.log(Logging.LEVEL_WARN, tr("Failed to save default preferences."), ex); 351 352 }
Note:
See TracChangeset
for help on using the changeset viewer.
