Changeset 10378 in josm for trunk/src/org/openstreetmap/josm/plugins
- Timestamp:
- 2016-06-15T10:30:37+02:00 (7 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
trunk/src/org/openstreetmap/josm/plugins/PluginHandler.java
r10300 r10378 368 368 + "</html>"; 369 369 togglePreferenceKey = "pluginmanager.version-based-update.policy"; 370 } 370 } else { 371 371 long tim = System.currentTimeMillis(); 372 372 long last = Main.pref.getLong("pluginmanager.lastupdate", 0); … … 725 725 + "Delete from preferences?</html>", plugin.name, plugin.className); 726 726 } 727 } 727 } catch (RuntimeException e) { 728 728 pluginLoadingExceptions.put(plugin.name, e); 729 729 Main.error(e);
Note: See TracChangeset
for help on using the changeset viewer.