Changeset 29 for trunk/sources/HeuristicLab.PluginInfrastructure.GUI/ManagerForm.cs

Timestamp:

02/28/08 18:02:45 (16 years ago)

Author:

gkronber

Message:

• refactored pluginInfrastructure
• fixed #8

File:

• trunk/sources/HeuristicLab.PluginInfrastructure.GUI/ManagerForm.cs (modified) (6 diffs)

trunk/sources/HeuristicLab.PluginInfrastructure.GUI/ManagerForm.cs

@@ -37 +37 @@
     private TreeNode availablePlugins;
     private TreeNode allPlugins;
+    private TreeNode disabledPlugins;
     private List<PluginTag> allTags = new List<PluginTag>();
     private Dictionary<PluginTag, PluginAction> actions = new Dictionary<PluginTag, PluginAction>();
@@ -75 +76 @@
       allPlugins.ImageIndex = 1;
       allPlugins.SelectedImageIndex = 1;
+      disabledPlugins = new TreeNode("Disabled plugins");
+      disabledPlugins.ImageIndex = 1;
+      disabledPlugins.SelectedImageIndex = 1;
 
       pluginTreeView.Nodes.Add(installedPlugins);
       pluginTreeView.Nodes.Add(availablePlugins);
+      pluginTreeView.Nodes.Add(disabledPlugins);
       pluginTreeView.Nodes.Add(allPlugins);
 
-      foreach(PluginInfo pluginInfo in PluginManager.Manager.InstalledPlugins) {
+      foreach(PluginInfo pluginInfo in PluginManager.Manager.ActivePlugins) {
         // create a new PluginAction tag for the plugin
         PluginTag tag = new PluginTag(allTags, pluginInfo, PluginState.Installed);
@@ -91 +96 @@
         installedPlugins.Nodes.Add(installedPluginsNode);
 
+        // add to all "plugins node"
+        TreeNode allPluginsNode = new TreeNode(pluginInfo.Name);
+        allPluginsNode.ContextMenuStrip = pluginContextMenuStrip;
+        allPluginsNode.Tag = tag;
+        allPluginsNode.ImageIndex = 0;
+        allPlugins.Nodes.Add(allPluginsNode);
+      }
+      foreach(PluginInfo pluginInfo in PluginManager.Manager.DisabledPlugins) {
+        PluginTag tag = new PluginTag(allTags, pluginInfo, PluginState.Disabled);
+        allTags.Add(tag);
+        TreeNode disabledPluginsNode = new TreeNode(pluginInfo.Name);
+        disabledPluginsNode.ContextMenuStrip = pluginContextMenuStrip;
+        disabledPluginsNode.Tag = tag;
+        disabledPluginsNode.ImageIndex = 0;
+        disabledPlugins.Nodes.Add(disabledPluginsNode);
         // add to all "plugins node"
         TreeNode allPluginsNode = new TreeNode(pluginInfo.Name);
@@ -290 +310 @@
       allAvailablePlugins.ForEach(delegate(PluginDescription availablePlugin) {
         List<PluginTag> oldPlugins = allTags.FindAll(delegate(PluginTag currentPlugin) {
-          return currentPlugin.PluginName == availablePlugin.Name && currentPlugin.State == PluginState.Installed;
+          return currentPlugin.PluginName == availablePlugin.Name && currentPlugin.State == (PluginState.Installed | PluginState.Disabled);
         });
 
@@ -567 +587 @@
       publishButton.Enabled = (tag.State & PluginState.Installed) == PluginState.Installed;
       installButton.Enabled = (tag.State & PluginState.Available) == PluginState.Available;
-      deleteButton.Enabled = (tag.State & (PluginState.Installed | PluginState.Upgradeable)) != 0;
+      deleteButton.Enabled = (tag.State & (PluginState.Installed | PluginState.Upgradeable | PluginState.Disabled)) != 0;
 
       installButton.Checked = GetAction(tag) == ManagerAction.Install;
@@ -605 +625 @@
     private List<TreeNode> FindPluginNodes(PluginTag pluginTag) {
       List<TreeNode> nodes = new List<TreeNode>();
-      foreach(TreeNode rootNode in new TreeNode[] { installedPlugins, availablePlugins, allPlugins }) {
+      foreach(TreeNode rootNode in new TreeNode[] { installedPlugins, availablePlugins, allPlugins, disabledPlugins }) {
         foreach(TreeNode node in rootNode.Nodes) {
           if(pluginTag.Equals(node.Tag)) {