Changeset 17264 in josm

Timestamp:

2020-10-24T22:57:03+02:00 (4 years ago)

Author:

GerdP

Message:

see #7548: Re-organize the preference dialog

• revert r17256, doesn't help and maybe worsens the problem on some systems

File:

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

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

@@ -492 +492 @@
         addGUITabs(false);
         super.getModel().addChangeListener(this);
-        setSelectedIndex(-1);
     }