Changeset 4968 in josm for trunk/src/org/openstreetmap/josm/gui/preferences/PreferenceDialog.java

Timestamp:

2012-02-17T22:27:06+01:00 (12 years ago)

Author:

Don-vip

Message:

fix #7386 - Major rework of preferences GUI settings in order to speed up preferences dialog startup time. The building of each preferences tab is delayed until this tab is selected. Plugins that use preferences will need to make some (minor) changes.

File:

• trunk/src/org/openstreetmap/josm/gui/preferences/PreferenceDialog.java (modified) (2 diffs)

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

@@ -32 +32 @@
 import org.openstreetmap.josm.gui.help.HelpUtil;
 import org.openstreetmap.josm.gui.preferences.PreferenceTabbedPane.ValidationListener;
+import org.openstreetmap.josm.gui.preferences.map.MapPreference;
 import org.openstreetmap.josm.tools.GBC;
 import org.openstreetmap.josm.tools.ImageProvider;
@@ -167 +168 @@
 
     public void selectMapPaintPreferenceTab() {
-        tpPreferences.setSelectedComponent(tpPreferences.map);
-        tpPreferences.mapcontent.setSelectedIndex(1);
+        tpPreferences.selectTabByPref(MapPreference.class);
+        tpPreferences.getMapPreference().mapcontent.setSelectedIndex(1);
     }
 }