Changeset 2017 in josm for trunk/src/org/openstreetmap/josm/gui/preferences/PreferenceDialog.java
- Timestamp:
- 30.08.2009 19:07:24 (3 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
trunk/src/org/openstreetmap/josm/gui/preferences/PreferenceDialog.java
r1955 r2017 22 22 23 23 import org.openstreetmap.josm.Main; 24 import org.openstreetmap.josm.gui.OptionPaneUtil;25 24 import org.openstreetmap.josm.plugins.PluginHandler; 26 25 import org.openstreetmap.josm.tools.BugReportExceptionHandler; … … 101 100 } 102 101 if (requiresRestart) { 103 OptionPaneUtil.showMessageDialog(102 JOptionPane.showMessageDialog( 104 103 Main.parent, 105 104 tr("You have to restart JOSM for some settings to take effect."),
Note: See TracChangeset
for help on using the changeset viewer.
