Changeset 13160 in josm for trunk/src/org/openstreetmap
- Timestamp:
- 2017-11-25T13:37:53+01:00 (7 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
trunk/src/org/openstreetmap/josm/gui/preferences/PreferenceTabbedPane.java
r12643 r13160 504 504 } 505 505 } 506 try { 507 if (sel != null) { 508 setSelectedComponent(sel); 509 } 510 } catch (IllegalArgumentException e) { 511 Logging.warn(e); 506 if (sel != null) { 507 int index = indexOfComponent(sel); 508 if (index > -1) { 509 setSelectedIndex(index); 510 } 512 511 } 513 512 }
Note:
See TracChangeset
for help on using the changeset viewer.