Changeset 12887 in josm for trunk/src/org/openstreetmap/josm/gui/MainApplication.java
- Timestamp:
- 2017-09-22T16:13:52+02:00 (7 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
trunk/src/org/openstreetmap/josm/gui/MainApplication.java
r12886 r12887 151 151 import org.openstreetmap.josm.tools.I18n; 152 152 import org.openstreetmap.josm.tools.ImageProvider; 153 import org.openstreetmap.josm.tools.JosmRuntimeException; 153 154 import org.openstreetmap.josm.tools.Logging; 154 155 import org.openstreetmap.josm.tools.OpenBrowser; … … 1091 1092 UIManager.put("FileChooser.useSystemExtensionHiding", Boolean.FALSE); 1092 1093 } 1093 } catch (NumberFormatException | ReflectiveOperationException e) {1094 } catch (NumberFormatException | ReflectiveOperationException | JosmRuntimeException e) { 1094 1095 Logging.error(e); 1095 1096 }
Note:
See TracChangeset
for help on using the changeset viewer.