Changeset 8465 in josm for trunk/src/org/openstreetmap/josm/plugins
- Timestamp:
- 2015-06-04T01:52:36+02:00 (10 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
trunk/src/org/openstreetmap/josm/plugins/PluginHandler.java
r8453 r8465 1283 1283 1284 1284 Set<String> plugins = new HashSet<>( 1285 Main.pref.getCollection("plugins",Collections.<String> 1285 Main.pref.getCollection("plugins",Collections.<String>emptySet()) 1286 1286 ); 1287 1287 final PluginInformation pluginInfo = plugin.getPluginInformation(); … … 1324 1324 public static String getBugReportText() { 1325 1325 StringBuilder text = new StringBuilder(); 1326 List 1326 List<String> pl = new LinkedList<>(Main.pref.getCollection("plugins", new LinkedList<String>())); 1327 1327 for (final PluginProxy pp : pluginList) { 1328 1328 PluginInformation pi = pp.getPluginInformation();
Note:
See TracChangeset
for help on using the changeset viewer.