Changeset 17305 in josm
- Timestamp:
- 2020-11-09T08:55:34+01:00 (4 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
trunk/src/org/openstreetmap/josm/gui/preferences/PreferenceTabbedPane.java
r17297 r17305 561 561 }); 562 562 } 563 int index = -1; 563 564 if (sel != null) { 564 int index = indexOfComponent(sel); 565 if (index > -1) { 566 setSelectedIndex(index); 567 } 568 } 569 setSelectedIndex(-1); 565 index = indexOfComponent(sel); 566 } 567 setSelectedIndex(index); 570 568 } 571 569
Note:
See TracChangeset
for help on using the changeset viewer.