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

Timestamp:

2012-02-17T22:27:06+01:00 (14 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/ToolbarPreferences.java (modified) (3 diffs)

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

@@ -410 +410 @@
     }
 
-    public class Settings implements PreferenceSetting {
+    public class Settings extends DefaultTabPreferenceSetting {
 
         private final class Move implements ActionListener {
@@ -497 +497 @@
 
         public Settings(DefaultMutableTreeNode rootActionsNode) {
+            super("toolbar", tr("Toolbar customization"), tr("Customize the elements on the toolbar."));
             actionsTreeModel = new DefaultTreeModel(rootActionsNode);
             actionsTree = new JTree(actionsTreeModel);
@@ -766 +767 @@
             actionParametersPanel.setVisible(false);
 
-            JPanel panel = gui.createPreferenceTab("toolbar", tr("Toolbar customization"),
-                    tr("Customize the elements on the toolbar."), false);
+            JPanel panel = gui.createPreferenceTab(this);
             panel.add(p, GBC.eol().fill(GBC.BOTH));
             panel.add(actionParametersPanel, GBC.eol().fill(GBC.HORIZONTAL));