Changeset 1042 in josm for trunk/src


Ignore:
Timestamp:
2008-10-15T10:09:28+02:00 (16 years ago)
Author:
stoecker
Message:

fix bug #1645 (preferences dialog size) Patch by Jan Peter Stotz

Location:
trunk/src/org/openstreetmap/josm
Files:
2 edited

Legend:

Unmodified
Added
Removed

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

    r1023 r1042  
    44import static org.openstreetmap.josm.tools.I18n.tr;
    55
     6import java.awt.Dimension;
    67import java.awt.GridBagLayout;
    78import java.awt.event.ActionEvent;
    … …  
    3738        public void actionPerformed(ActionEvent e) {
    3839                PreferenceDialog prefDlg = new PreferenceDialog();
     40                prefDlg.setMinimumSize(new Dimension(300,200));
    3941                JPanel prefPanel = new JPanel(new GridBagLayout());
    4042                prefPanel.add(prefDlg, GBC.eol().fill(GBC.BOTH));
    … …  
    4345                JDialog dlg = pane.createDialog(Main.parent, tr("Preferences"));
    4446                dlg.setResizable(true);
     47                dlg.setMinimumSize(new Dimension(400,300));
    4548
    4649//              if (dlg.getWidth() > 600)

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

    r1023 r1042  
    1616import javax.swing.JOptionPane;
    1717import javax.swing.JPanel;
     18import javax.swing.JScrollPane;
    1819import javax.swing.JTabbedPane;
    1920
    … …  
    6061                p.add(descLabel, GBC.eol().insets(5,0,5,20).fill(GBC.HORIZONTAL));
    6162
    62                 addTab(null, ImageProvider.get("preferences", icon), p);
     63        JScrollPane sp = new JScrollPane(p);
     64                addTab(null, ImageProvider.get("preferences", icon), sp);
    6365                setToolTipTextAt(getTabCount()-1, "<html>"+desc+"</html>");
    6466                return p;
Note: See TracChangeset for help on using the changeset viewer.