Changeset 2542 in josm for trunk/src/org/openstreetmap/josm/plugins/PluginHandler.java

Timestamp:

2009-11-28T23:56:56+01:00 (15 years ago)

Author:

stoecker

Message:

cleanup plugin information a bit

File:

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

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

@@ -352 +352 @@
     {
         String text = "";
-        String pl = Main.pref.get("plugins");
+        String pl = Main.pref.getCollectionAsString("plugins");
         if(pl != null && pl.length() != 0) {
             text += "Plugins: "+pl+"\n";