Changeset 337 in josm for branch/0.5
- Timestamp:
- 2007-10-02T23:52:53+02:00 (17 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
branch/0.5/src/org/openstreetmap/josm/gui/preferences/PluginPreference.java
r302 r337 13 13 import java.util.Arrays; 14 14 import java.util.Collection; 15 import java.util.Collections; 15 16 import java.util.Comparator; 16 17 import java.util.HashMap; … … 194 195 pluginMap = new HashMap<PluginDescription, Boolean>(); 195 196 pluginPanel.removeAll(); 196 Collection<String> enabledPlugins = Arrays.asList(Main.pref.get("plugins").split(",")); 197 198 // the following could probably be done more elegantly? 199 Collection<String> enabledPlugins = null; 200 String enabledProp = Main.pref.get("plugins"); 201 if ((enabledProp == null) || ("".equals(enabledProp))) { 202 enabledPlugins = Collections.EMPTY_SET; 203 } 204 else 205 { 206 enabledPlugins = Arrays.asList(enabledProp.split(",")); 207 } 208 197 209 for (final PluginDescription plugin : availablePlugins) { 198 210 boolean enabled = enabledPlugins.contains(plugin.name);
Note:
See TracChangeset
for help on using the changeset viewer.