Changeset 8017 in josm for trunk/src/org/openstreetmap/josm/gui/preferences/plugin/PluginPreferencesModel.java

Timestamp:

2015-02-09T08:43:18+01:00 (9 years ago)

Author:

bastiK

Message:

see #11090 - basic support for plugin loading at runtime.

This is still in testing stage. It will be announced on
the mailing list when plugin authors can start to adapt
their code.

File:

• trunk/src/org/openstreetmap/josm/gui/preferences/plugin/PluginPreferencesModel.java (modified) (3 diffs)

trunk/src/org/openstreetmap/josm/gui/preferences/plugin/PluginPreferencesModel.java

@@ -25 +25 @@
  */
 public class PluginPreferencesModel extends Observable {
+    // remember the initial list of active plugins
+    private final Set<String> currentActivePlugins;
     private final List<PluginInformation> availablePlugins = new ArrayList<>();
+    private String filterExpression;
     private final List<PluginInformation> displayedPlugins = new ArrayList<>();
     private final Map<PluginInformation, Boolean> selectedPluginsMap = new HashMap<>();
+    // plugins that still require an update/download
     private Set<String> pendingDownloads = new HashSet<>();
-    private String filterExpression;
-    private Set<String> currentActivePlugins;
 
     /**
@@ -197 +199 @@
         PluginInformation pi = getPluginInformation(name);
         if (pi != null) {
-            selectedPluginsMap.put(pi,selected);
+            selectedPluginsMap.put(pi, selected);
             if (pi.isUpdateRequired()) {
                 pendingDownloads.add(pi.name);
@@ -213 +215 @@
      * @param plugins the list of plugins to clear for a pending download
      */
-    public void clearPendingPlugins(Collection<PluginInformation> plugins){
+    public void clearPendingPlugins(Collection<PluginInformation> plugins) {
         if (plugins == null || plugins.isEmpty()) return;
-        for(PluginInformation pi: plugins) {
+        for (PluginInformation pi: plugins) {
             pendingDownloads.remove(pi.name);
         }