Changeset 1739 in josm for trunk/src/org/openstreetmap
- Timestamp:
- 2009-07-06T15:32:02+02:00 (15 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
trunk/src/org/openstreetmap/josm/plugins/PluginSelection.java
r1738 r1739 95 95 public boolean finish() { 96 96 Collection<PluginInformation> toDownload = new LinkedList<PluginInformation>(); 97 Collection<String> installedPlugins = Main.pref.getCollection("plugins", null);97 Collection<String> installedPlugins = Main.pref.getCollection("plugins", Collections.<String>emptySet()); 98 98 99 99 String msg = "";
Note:
See TracChangeset
for help on using the changeset viewer.