Changeset 2261 in josm for trunk/src/org
- Timestamp:
- 2009-10-10T13:43:24+02:00 (15 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
trunk/src/org/openstreetmap/josm/plugins/PluginHandler.java
r2259 r2261 76 76 } 77 77 } 78 for (String p : unmaintained) { 79 if (plugins.contains(p) && disablePlugin(tr("<html>Loading of {0} plugin was requested." 80 +"<br>This plugin is no longer developed and very likely will produce errors." 81 +"<br>It should be disabled.<br>Delete from preferences?</html>", p), p)) 82 plugins.remove(p); 78 if(early) 79 { 80 for (String p : unmaintained) { 81 if (plugins.contains(p) && disablePlugin(tr("<html>Loading of {0} plugin was requested." 82 +"<br>This plugin is no longer developed and very likely will produce errors." 83 +"<br>It should be disabled.<br>Delete from preferences?</html>", p), p)) 84 plugins.remove(p); 85 } 83 86 } 84 87
Note:
See TracChangeset
for help on using the changeset viewer.