Changeset 2853 in josm for trunk/src/org/openstreetmap/josm/plugins/PluginHandler.java
- Timestamp:
- 2010-01-13T20:22:11+01:00 (14 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
trunk/src/org/openstreetmap/josm/plugins/PluginHandler.java
r2834 r2853 131 131 continue; 132 132 } 133 String msg = tr("<html>Loading of {0} pluginwas requested."133 String msg = tr("<html>Loading of the plugin \"{0}\" was requested." 134 134 + "<br>This plugin is no longer developed and very likely will produce errors." 135 135 +"<br>It should be disabled.<br>Delete from preferences?</html>", unmaintained); … … 200 200 StringBuilder sb = new StringBuilder(); 201 201 sb.append("<html>"); 202 sb.append(trn("A required plugin for plugin {0} was not found. The requiredplugin is:",203 "{1} required plugins for plugin {0} were not found. The requiredplugins are:",202 sb.append(trn("A required plugin for plugin {0} was not found. The missing plugin is:", 203 "{1} required plugins for plugin {0} were not found. The missing plugins are:", 204 204 missingRequiredPlugin.size(), 205 205 plugin, … … 691 691 dialog.setButtonIcons(new String[] {"dialogs/delete.png", "cancel.png"}); 692 692 dialog.setContent( 693 tr("<html>")+693 "<html>" + 694 694 tr("An unexpected exception occurred that may have come from the ''{0}'' plugin.", plugin.getPluginInformation().name) 695 695 + "<br>"
Note:
See TracChangeset
for help on using the changeset viewer.