Changeset 17265 in josm for trunk/src/org/openstreetmap/josm/gui/preferences/PreferenceTabbedPane.java

Timestamp:

2020-10-25T17:07:27+01:00 (3 years ago)

Author:

GerdP

Message:

see #7548: Re-organize the preference dialog
Apply 7548-no-empty.patch to avoid empty top panel

• make sure that a panel is selected when selectPreviouslySelectedPreferences() is called and nothing was previously selected
• reverts r17097

File:

• trunk/src/org/openstreetmap/josm/gui/preferences/PreferenceTabbedPane.java (modified) (1 diff)

trunk/src/org/openstreetmap/josm/gui/preferences/PreferenceTabbedPane.java

@@ -559 +559 @@
             }
         }
+        setSelectedIndex(-1);
     }