Changeset 6524 in josm for trunk/src/org/openstreetmap/josm/plugins
- Timestamp:
- 2013-12-24T21:12:40+01:00 (11 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
trunk/src/org/openstreetmap/josm/plugins/PluginHandler.java
r6362 r6524 64 64 import org.openstreetmap.josm.tools.I18n; 65 65 import org.openstreetmap.josm.tools.ImageProvider; 66 import org.openstreetmap.josm.tools.Utils; 66 67 67 68 /** … … 411 412 missingRequiredPlugin.size() 412 413 )); 413 sb.append("<ul>"); 414 for (String p: missingRequiredPlugin) { 415 sb.append("<li>").append(p).append("</li>"); 416 } 417 sb.append("</ul>").append("</html>"); 414 sb.append(Utils.joinAsHtmlUnorderedList(missingRequiredPlugin)); 415 sb.append("</html>"); 418 416 JOptionPane.showMessageDialog( 419 417 parent, … … 710 708 "JOSM could not find information about the following plugins:", 711 709 plugins.size())); 712 sb.append("<ul>"); 713 for (String plugin: plugins) { 714 sb.append("<li>").append(plugin).append("</li>"); 715 } 716 sb.append("</ul>"); 710 sb.append(Utils.joinAsHtmlUnorderedList(plugins)); 717 711 sb.append(trn("The plugin is not going to be loaded.", 718 712 "The plugins are not going to be loaded.",
Note:
See TracChangeset
for help on using the changeset viewer.