Changeset 6906 in josm for trunk/src/org/openstreetmap/josm/gui/preferences/plugin/PluginPreferencesModel.java
- Timestamp:
- 2014-03-10T02:33:20+01:00 (10 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
trunk/src/org/openstreetmap/josm/gui/preferences/plugin/PluginPreferencesModel.java
r6733 r6906 71 71 availablePlugins.addAll(available); 72 72 } 73 availablePluginsModified(); 74 } 75 76 protected final void availablePluginsModified() { 73 77 sort(); 74 78 filterDisplayedPlugins(filterExpression); … … 86 90 } 87 91 88 protected 92 protected void updateAvailablePlugin(PluginInformation other) { 89 93 if (other == null) return; 90 94 PluginInformation pi = getPluginInformation(other.name); … … 106 110 updateAvailablePlugin(other); 107 111 } 108 sort(); 109 filterDisplayedPlugins(filterExpression); 110 Set<String> activePlugins = new HashSet<String>(); 111 activePlugins.addAll(Main.pref.getCollection("plugins", activePlugins)); 112 for (PluginInformation pi: availablePlugins) { 113 if (selectedPluginsMap.get(pi) == null) { 114 if (activePlugins.contains(pi.name)) { 115 selectedPluginsMap.put(pi, true); 116 } 117 } 118 } 119 clearChanged(); 120 notifyObservers(); 112 availablePluginsModified(); 121 113 } 122 114
Note:
See TracChangeset
for help on using the changeset viewer.