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

Timestamp:

02/20/08 15:16:22 (16 years ago)

Author:

gkronber

Message:

made install and delete actions available via keys 'i' and 'd' (ticket #21)

File:

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

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

@@ -61 +61 @@
       installMenuItem.Enabled = false;
       installMenuItem.Checked = false;
-      removeButton.Enabled = false;
-      removeButton.Checked = false;
-      removeMenuItem.Enabled = false;
-      removeMenuItem.Checked = false;
+      deleteButton.Enabled = false;
+      deleteButton.Checked = false;
+      deleteMenuItem.Enabled = false;
+      deleteMenuItem.Checked = false;
 
       installedPlugins = new TreeNode("Installed plugins");
@@ -567 +567 @@
       publishButton.Enabled = (tag.State & PluginState.Installed) == PluginState.Installed;
       installButton.Enabled = (tag.State & PluginState.Available) == PluginState.Available;
-      removeButton.Enabled = (tag.State & (PluginState.Installed | PluginState.Upgradeable)) != 0;
+      deleteButton.Enabled = (tag.State & (PluginState.Installed | PluginState.Upgradeable)) != 0;
 
       installButton.Checked = GetAction(tag) == ManagerAction.Install;
-      removeButton.Checked = GetAction(tag) == ManagerAction.Remove;
+      deleteButton.Checked = GetAction(tag) == ManagerAction.Remove;
 
       publishMenuItem.Enabled = publishButton.Enabled;
       installMenuItem.Enabled = installButton.Enabled;
-      removeMenuItem.Enabled = removeButton.Enabled;
+      deleteMenuItem.Enabled = deleteButton.Enabled;
       installMenuItem.Checked = installButton.Checked;
-      removeMenuItem.Checked = removeButton.Checked;
+      deleteMenuItem.Checked = deleteButton.Checked;
 
     }
@@ -957 +957 @@
         publishButton.Enabled = false;
         installButton.Enabled = false;
-        removeButton.Enabled = false;
+        deleteButton.Enabled = false;
       }
     }
@@ -1010 +1010 @@
     }
 
+    private void pluginTreeView_KeyPress(object sender, KeyPressEventArgs e) {
+      e.Handled = true;
+      if(e.KeyChar == 'i' && installButton.Enabled) {
+        installButton_Clicked(sender, e);
+      } else if(e.KeyChar == 'd' && deleteButton.Enabled) {
+        removeButton_Clicked(sender, e);
+      }
+    }
   }
 }