Changeset 5857 in josm for trunk/src/org/openstreetmap/josm/plugins

Timestamp:

2013-04-14T18:23:10+02:00 (10 years ago)

Author:

Don-vip

Message:

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

File:

• trunk/src/org/openstreetmap/josm/plugins/PluginHandler.java (modified) (1 diff)

trunk/src/org/openstreetmap/josm/plugins/PluginHandler.java

@@ -113 +113 @@
             new DeprecatedPlugin("epsg31287", tr("replaced by new {0} plugin", "proj4j")),
             new DeprecatedPlugin("licensechange", tr("no longer required")),
+            new DeprecatedPlugin("restart", IN_CORE)
         });
     }