Changeset 1042 in josm
- Timestamp:
- 2008-10-15T10:09:28+02:00 (16 years ago)
- Location:
- trunk/src/org/openstreetmap/josm
- Files:
-
- 2 edited
Legend:
- Unmodified
- Added
- Removed
-
trunk/src/org/openstreetmap/josm/actions/PreferencesAction.java
r1023 r1042 4 4 import static org.openstreetmap.josm.tools.I18n.tr; 5 5 6 import java.awt.Dimension; 6 7 import java.awt.GridBagLayout; 7 8 import java.awt.event.ActionEvent; … … 37 38 public void actionPerformed(ActionEvent e) { 38 39 PreferenceDialog prefDlg = new PreferenceDialog(); 40 prefDlg.setMinimumSize(new Dimension(300,200)); 39 41 JPanel prefPanel = new JPanel(new GridBagLayout()); 40 42 prefPanel.add(prefDlg, GBC.eol().fill(GBC.BOTH)); … … 43 45 JDialog dlg = pane.createDialog(Main.parent, tr("Preferences")); 44 46 dlg.setResizable(true); 47 dlg.setMinimumSize(new Dimension(400,300)); 45 48 46 49 // if (dlg.getWidth() > 600) -
trunk/src/org/openstreetmap/josm/gui/preferences/PreferenceDialog.java
r1023 r1042 16 16 import javax.swing.JOptionPane; 17 17 import javax.swing.JPanel; 18 import javax.swing.JScrollPane; 18 19 import javax.swing.JTabbedPane; 19 20 … … 60 61 p.add(descLabel, GBC.eol().insets(5,0,5,20).fill(GBC.HORIZONTAL)); 61 62 62 addTab(null, ImageProvider.get("preferences", icon), p); 63 JScrollPane sp = new JScrollPane(p); 64 addTab(null, ImageProvider.get("preferences", icon), sp); 63 65 setToolTipTextAt(getTabCount()-1, "<html>"+desc+"</html>"); 64 66 return p;
Note:
See TracChangeset
for help on using the changeset viewer.