Changeset 8390 in josm for trunk/src/org/openstreetmap/josm/gui/preferences/plugin
- Timestamp:
- 2015-05-18T02:14:30+02:00 (9 years ago)
- Location:
- trunk/src/org/openstreetmap/josm/gui/preferences/plugin
- Files:
-
- 2 edited
Legend:
- Unmodified
- Added
- Removed
-
trunk/src/org/openstreetmap/josm/gui/preferences/plugin/PluginListPanel.java
r8379 r8390 63 63 sb.append(pi.version); 64 64 if (pi.oldmode) { 65 sb.append( "*");65 sb.append('*'); 66 66 } 67 67 } -
trunk/src/org/openstreetmap/josm/gui/preferences/plugin/PluginPreference.java
r8387 r8390 88 88 Collection<PluginInformation> failed = task.getFailedPlugins(); 89 89 StringBuilder sb = new StringBuilder(); 90 if (! 90 if (!downloaded.isEmpty()) { 91 91 sb.append(trn( 92 92 "The following plugin has been downloaded <strong>successfully</strong>:", … … 97 97 sb.append("<ul>"); 98 98 for(PluginInformation pi: downloaded) { 99 sb.append("<li>").append(pi.name).append(" (").append(pi.version).append(") ").append("</li>");99 sb.append("<li>").append(pi.name).append(" (").append(pi.version).append(")</li>"); 100 100 } 101 101 sb.append("</ul>"); 102 102 } 103 if (! 103 if (!failed.isEmpty()) { 104 104 sb.append(trn( 105 105 "Downloading the following plugin has <strong>failed</strong>:",
Note:
See TracChangeset
for help on using the changeset viewer.