Changeset 11746 in josm for trunk/src/org/openstreetmap/josm/gui/preferences
- Timestamp:
- 2017-03-19T02:26:34+01:00 (7 years ago)
- Location:
- trunk/src/org/openstreetmap/josm/gui/preferences
- Files:
-
- 2 edited
Legend:
- Unmodified
- Added
- Removed
-
trunk/src/org/openstreetmap/josm/gui/preferences/PreferenceTabbedPane.java
r11397 r11746 599 599 } catch (SecurityException ex) { 600 600 Main.error(ex); 601 } catch (RuntimeException ex) { 601 } catch (RuntimeException ex) { // NOPMD 602 602 // allow to change most settings even if e.g. a plugin fails 603 603 BugReportExceptionHandler.handleException(ex); … … 616 616 } catch (SecurityException ex) { 617 617 Main.error(ex); 618 } catch (RuntimeException ex) { 618 } catch (RuntimeException ex) { // NOPMD 619 619 BugReportExceptionHandler.handleException(ex); 620 620 } finally { -
trunk/src/org/openstreetmap/josm/gui/preferences/map/MapPaintPreference.java
r11493 r11746 165 165 return css.title; 166 166 } 167 } catch (RuntimeException ignore) { 167 } catch (RuntimeException ignore) { // NOPMD 168 168 Main.debug(ignore); 169 169 }
Note:
See TracChangeset
for help on using the changeset viewer.