Changeset 5857 in josm


Ignore:
Timestamp:
2013-04-14T18:23:10+02:00 (7 years ago)
Author:
Don-vip
Message:

fix #8561 - Integrate restart plugin into core. Asks for restart when needed.

Location:
trunk
Files:
2 added
4 edited

Legend:

Unmodified
Added
Removed
  • trunk/src/org/openstreetmap/josm/actions/ZoomToAction.java

    r5310 r5857  
     1// License: GPL. For details, see LICENSE file.
    12package org.openstreetmap.josm.actions;
    23
  • trunk/src/org/openstreetmap/josm/gui/MainMenu.java

    r5661 r5857  
    6868import org.openstreetmap.josm.actions.PurgeAction;
    6969import org.openstreetmap.josm.actions.RedoAction;
     70import org.openstreetmap.josm.actions.RestartAction;
    7071import org.openstreetmap.josm.actions.ReverseWayAction;
    7172import org.openstreetmap.josm.actions.SaveAction;
     
    138139    public final JosmAction upload = new UploadAction();
    139140    public final JosmAction uploadSelection = new UploadSelectionAction();
     141    public final JosmAction restart = new RestartAction();
    140142    public final JosmAction exit = new ExitAction();
    141143
     
    454456        add(fileMenu, closeChangesetAction, true);
    455457        fileMenu.addSeparator();
     458        add(fileMenu, restart);
    456459        add(fileMenu, exit);
    457460
  • trunk/src/org/openstreetmap/josm/gui/preferences/PreferenceTabbedPane.java

    r5631 r5857  
    2929import org.openstreetmap.josm.Main;
    3030import org.openstreetmap.josm.actions.ExpertToggleAction;
     31import org.openstreetmap.josm.actions.RestartAction;
    3132import org.openstreetmap.josm.actions.ExpertToggleAction.ExpertModeChangeListener;
     33import org.openstreetmap.josm.gui.HelpAwareOptionPane;
     34import org.openstreetmap.josm.gui.HelpAwareOptionPane.ButtonSpec;
    3235import org.openstreetmap.josm.gui.preferences.advanced.AdvancedPreference;
    3336import org.openstreetmap.josm.gui.preferences.display.ColorPreference;
     
    285288                if (requiresRestart) {
    286289                    sb.append(tr("You have to restart JOSM for some settings to take effect."));
     290                    sb.append("<br/><br/>");
     291                    sb.append(tr("Would you like to restart now?"));
    287292                }
    288293                sb.append("</html>");
     
    290295                // display the message, if necessary
    291296                //
    292                 if ((task != null && !task.isCanceled()) || requiresRestart) {
     297                if (requiresRestart) {
     298                    final ButtonSpec [] options = RestartAction.getButtonSpecs();
     299                    if (0 == HelpAwareOptionPane.showOptionDialog(
     300                            Main.parent,
     301                            sb.toString(),
     302                            tr("Restart"),
     303                            JOptionPane.INFORMATION_MESSAGE,
     304                            null, /* no special icon */
     305                            options,
     306                            options[0],
     307                            null /* no special help */
     308                            )) {
     309                        Main.main.menu.restart.actionPerformed(null);
     310                    }
     311                } else if (task != null && !task.isCanceled()) {
    293312                    JOptionPane.showMessageDialog(
    294313                            Main.parent,
  • trunk/src/org/openstreetmap/josm/plugins/PluginHandler.java

    r5723 r5857  
    113113            new DeprecatedPlugin("epsg31287", tr("replaced by new {0} plugin", "proj4j")),
    114114            new DeprecatedPlugin("licensechange", tr("no longer required")),
     115            new DeprecatedPlugin("restart", IN_CORE)
    115116        });
    116117    }
Note: See TracChangeset for help on using the changeset viewer.