Changeset 1053 in josm for trunk/src/org/openstreetmap/josm/actions/PreferencesAction.java

Timestamp:

2008-10-23T17:27:57+02:00 (18 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/actions/PreferencesAction.java (modified) (2 diffs)

trunk/src/org/openstreetmap/josm/actions/PreferencesAction.java

@@ -38 +38 @@
         public void actionPerformed(ActionEvent e) {
                 PreferenceDialog prefDlg = new PreferenceDialog();
-                prefDlg.setMinimumSize(new Dimension(300,200));
+                prefDlg.setMinimumSize(new Dimension(400,300));
                 JPanel prefPanel = new JPanel(new GridBagLayout());
                 prefPanel.add(prefDlg, GBC.eol().fill(GBC.BOTH));
@@ -45 +45 @@
                 JDialog dlg = pane.createDialog(Main.parent, tr("Preferences"));
                 dlg.setResizable(true);
-                dlg.setMinimumSize(new Dimension(400,300));
+                dlg.setMinimumSize(new Dimension(500,400));
 
 //              if (dlg.getWidth() > 600)