Changeset 6524 in josm for trunk/src/org/openstreetmap/josm/gui/preferences/plugin/PluginListPanel.java
- Timestamp:
- 2013-12-24T21:12:40+01:00 (10 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
trunk/src/org/openstreetmap/josm/gui/preferences/plugin/PluginListPanel.java
r6142 r6524 30 30 import org.openstreetmap.josm.plugins.PluginInformation; 31 31 import org.openstreetmap.josm.tools.OpenBrowser; 32 import org.openstreetmap.josm.tools.Utils; 32 33 33 34 public class PluginListPanel extends VerticallyScrollablePanel{ … … 170 171 otherPlugins.size() 171 172 )); 172 sb.append("<ul>"); 173 for (String p: otherPlugins) { 174 sb.append("<li>").append(p).append("</li>"); 175 } 176 sb.append("</ul>").append("</html>"); 173 sb.append(Utils.joinAsHtmlUnorderedList(otherPlugins)); 174 sb.append("</html>"); 177 175 JOptionPane.showMessageDialog( 178 176 parent,
Note:
See TracChangeset
for help on using the changeset viewer.