Changeset 7420 in josm for trunk/src/org/openstreetmap/josm/plugins

Timestamp:

2014-08-16T14:10:24+02:00 (10 years ago)

Author:

Don-vip

Message:

fix #9435 - add last 10 error/warning messages to bug report

File:

• trunk/src/org/openstreetmap/josm/plugins/PluginHandler.java (modified) (1 diff)

trunk/src/org/openstreetmap/josm/plugins/PluginHandler.java

@@ -1271 +1271 @@
         }
         Collections.sort(pl);
+        if (!pl.isEmpty()) {
+            text.append("Plugins:\n");
+        }
         for (String s : pl) {
-            text.append("Plugin: ").append(s).append("\n");
+            text.append("- ").append(s).append("\n");
         }
         return text.toString();