Changeset 761 in josm for trunk/src/org
- Timestamp:
- 2008-08-08T18:25:59+02:00 (16 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
trunk/src/org/openstreetmap/josm/actions/PreferencesAction.java
r627 r761 40 40 JOptionPane pane = new JOptionPane(prefPanel, JOptionPane.PLAIN_MESSAGE, JOptionPane.OK_CANCEL_OPTION); 41 41 JDialog dlg = pane.createDialog(Main.parent, tr("Preferences")); 42 dlg.setResizable(true); 42 43 43 44 if (dlg.getWidth() > 600)
Note:
See TracChangeset
for help on using the changeset viewer.