Changeset 5933 in josm for trunk/src/org/openstreetmap
- Timestamp:
- 2013-05-06T13:26:18+02:00 (12 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
trunk/src/org/openstreetmap/josm/gui/preferences/PreferenceTabbedPane.java
r5858 r5933 201 201 @Override 202 202 public boolean identify(TabPreferenceSetting tps, Object name) { 203 return tps .getIconName().equals(name);203 return tps != null && tps.getIconName().equals(name); 204 204 }}, name); 205 205 }
Note:
See TracChangeset
for help on using the changeset viewer.