Changeset 2017 in josm for trunk/src/org/openstreetmap/josm/data/Preferences.java
- Timestamp:
- 30.08.2009 19:07:24 (3 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
trunk/src/org/openstreetmap/josm/data/Preferences.java
r1857 r2017 30 30 import org.openstreetmap.josm.Main; 31 31 import org.openstreetmap.josm.actions.AboutAction; 32 import org.openstreetmap.josm.data.projection.Mercator;33 import org.openstreetmap.josm.gui.OptionPaneUtil;34 32 import org.openstreetmap.josm.gui.preferences.ProxyPreferences; 35 33 import org.openstreetmap.josm.tools.ColorHelper; … … 335 333 if (prefDir.exists()) { 336 334 if(!prefDir.isDirectory()) { 337 OptionPaneUtil.showMessageDialog(335 JOptionPane.showMessageDialog( 338 336 Main.parent, 339 337 tr("Cannot open preferences directory: {0}",Main.pref.getPreferencesDir()), … … 360 358 e1.printStackTrace(); 361 359 String backup = getPreferencesDir() + "preferences.bak"; 362 OptionPaneUtil.showMessageDialog(360 JOptionPane.showMessageDialog( 363 361 Main.parent, 364 362 tr("Preferences file had errors. Making backup of old one to {0}.", backup),
Note: See TracChangeset
for help on using the changeset viewer.
