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

Timestamp:

2008-10-23T17:27:57+02:00 (17 years ago)

Author:

stoecker

Message:

added preferences patch to get correct window sizes again. Fixes #1671 and #1672. Patch by Jan Peter Stotz

File:

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

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

@@ -197 +197 @@
                 p.add(right);
 
-                JPanel panel = gui.createPreferenceTab("toolbar", tr("Toolbar customization"), tr("Customize the elements on the toolbar."));
+                JPanel panel = gui.createPreferenceTab("toolbar", tr("Toolbar customization"), 
+                        tr("Customize the elements on the toolbar."), false);
                 panel.add(p, GBC.eol().fill(GBC.BOTH));