Changeset 1042 in josm


Ignore:
Timestamp:
15.10.2008 10:09:28 (4 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.