Changeset 600


Ignore:
Timestamp:
09/26/08 11:50:02 (14 years ago)
Author:
gkronber
Message:

fixed #281 (Delete button doesn't work in PluginManager GUI)

Location:
trunk/sources/HeuristicLab.PluginInfrastructure.GUI
Files:
2 edited

Legend:

Unmodified
Added
Removed
  • trunk/sources/HeuristicLab.PluginInfrastructure.GUI/ManagerForm.cs

    r140 r600  
    10021002    }
    10031003
    1004     private void pluginTreeView_KeyPress(object sender, KeyPressEventArgs e) {
     1004    private void pluginTreeView_KeyDown(object sender, KeyEventArgs e) {
    10051005      e.Handled = true;
    1006       if(e.KeyChar == 'i' && installButton.Enabled) {
     1006      e.SuppressKeyPress = true;
     1007      if(e.KeyData == Keys.I && installButton.Enabled) {
    10071008        installButton_Clicked(sender, e);
    1008       } else if(e.KeyChar == 'd' && deleteButton.Enabled) {
     1009      } else if((e.KeyData == Keys.D || e.KeyData==Keys.Delete) && deleteButton.Enabled) {
    10091010        removeButton_Clicked(sender, e);
    10101011      }
  • trunk/sources/HeuristicLab.PluginInfrastructure.GUI/ManagerForm.designer.cs

    r140 r600  
    115115      //
    116116      this.managePluginSourcesToolStripMenuItem.Name = "managePluginSourcesToolStripMenuItem";
    117       this.managePluginSourcesToolStripMenuItem.Size = new System.Drawing.Size(195, 22);
     117      this.managePluginSourcesToolStripMenuItem.Size = new System.Drawing.Size(206, 22);
    118118      this.managePluginSourcesToolStripMenuItem.Text = "Edit plugin sources...";
    119119      this.managePluginSourcesToolStripMenuItem.Click += new System.EventHandler(this.managePluginSourcesToolStripMenuItem_Click);
     
    122122      //
    123123      this.installPluginFromFileToolStripMenuItem.Name = "installPluginFromFileToolStripMenuItem";
    124       this.installPluginFromFileToolStripMenuItem.Size = new System.Drawing.Size(195, 22);
     124      this.installPluginFromFileToolStripMenuItem.Size = new System.Drawing.Size(206, 22);
    125125      this.installPluginFromFileToolStripMenuItem.Text = "Install plugin from file...";
    126126      this.installPluginFromFileToolStripMenuItem.Click += new System.EventHandler(this.installPluginFromFileToolStripMenuItem_Click);
     
    129129      //
    130130      this.toolStripSeparator2.Name = "toolStripSeparator2";
    131       this.toolStripSeparator2.Size = new System.Drawing.Size(192, 6);
     131      this.toolStripSeparator2.Size = new System.Drawing.Size(203, 6);
    132132      //
    133133      // installedPluginsToolStripMenuItem
    134134      //
    135135      this.installedPluginsToolStripMenuItem.Name = "installedPluginsToolStripMenuItem";
    136       this.installedPluginsToolStripMenuItem.Size = new System.Drawing.Size(195, 22);
     136      this.installedPluginsToolStripMenuItem.Size = new System.Drawing.Size(206, 22);
    137137      this.installedPluginsToolStripMenuItem.Text = "Update";
    138138      this.installedPluginsToolStripMenuItem.Click += new System.EventHandler(this.updateButton_Click);
     
    141141      //
    142142      this.installNewPluginsToolStripMenuItem.Name = "installNewPluginsToolStripMenuItem";
    143       this.installNewPluginsToolStripMenuItem.Size = new System.Drawing.Size(195, 22);
     143      this.installNewPluginsToolStripMenuItem.Size = new System.Drawing.Size(206, 22);
    144144      this.installNewPluginsToolStripMenuItem.Text = "Delete/Upgrade/Install...";
    145145      this.installNewPluginsToolStripMenuItem.Click += new System.EventHandler(this.upgradeButton_Click);
     
    148148      //
    149149      this.toolStripSeparator3.Name = "toolStripSeparator3";
    150       this.toolStripSeparator3.Size = new System.Drawing.Size(192, 6);
     150      this.toolStripSeparator3.Size = new System.Drawing.Size(203, 6);
    151151      //
    152152      // refreshPluginListToolStripMenuItem
    153153      //
    154154      this.refreshPluginListToolStripMenuItem.Name = "refreshPluginListToolStripMenuItem";
    155       this.refreshPluginListToolStripMenuItem.Size = new System.Drawing.Size(195, 22);
     155      this.refreshPluginListToolStripMenuItem.Size = new System.Drawing.Size(206, 22);
    156156      this.refreshPluginListToolStripMenuItem.Text = "Refresh plugin list";
    157157      this.refreshPluginListToolStripMenuItem.Click += new System.EventHandler(this.refreshPluginListToolStripMenuItem_Click);
     
    160160      //
    161161      this.exitToolStripMenuItem.Name = "exitToolStripMenuItem";
    162       this.exitToolStripMenuItem.Size = new System.Drawing.Size(195, 22);
     162      this.exitToolStripMenuItem.Size = new System.Drawing.Size(206, 22);
    163163      this.exitToolStripMenuItem.Text = "Close";
    164164      this.exitToolStripMenuItem.Click += new System.EventHandler(this.closeToolStripMenuItem_Click);
     
    175175      //
    176176      this.aboutToolStripMenuItem.Name = "aboutToolStripMenuItem";
    177       this.aboutToolStripMenuItem.Size = new System.Drawing.Size(115, 22);
     177      this.aboutToolStripMenuItem.Size = new System.Drawing.Size(126, 22);
    178178      this.aboutToolStripMenuItem.Text = "About...";
    179179      this.aboutToolStripMenuItem.Click += new System.EventHandler(this.aboutToolStripMenuItem_Click);
     
    209209      this.pluginTreeView.Size = new System.Drawing.Size(828, 220);
    210210      this.pluginTreeView.TabIndex = 0;
    211       this.pluginTreeView.KeyPress += new System.Windows.Forms.KeyPressEventHandler(this.pluginTreeView_KeyPress);
    212211      this.pluginTreeView.NodeMouseClick += new System.Windows.Forms.TreeNodeMouseClickEventHandler(this.pluginTreeView_NodeMouseClick);
    213212      this.pluginTreeView.BeforeSelect += new System.Windows.Forms.TreeViewCancelEventHandler(this.pluginTreeView_BeforeSelect);
     213      this.pluginTreeView.KeyDown += new System.Windows.Forms.KeyEventHandler(this.pluginTreeView_KeyDown);
    214214      //
    215215      // pluginIcons
     
    317317            this.publishMenuItem});
    318318      this.pluginContextMenuStrip.Name = "pluginContextMenuStrip";
    319       this.pluginContextMenuStrip.Size = new System.Drawing.Size(108, 70);
     319      this.pluginContextMenuStrip.Size = new System.Drawing.Size(119, 70);
    320320      //
    321321      // installMenuItem
    322322      //
    323323      this.installMenuItem.Name = "installMenuItem";
    324       this.installMenuItem.Size = new System.Drawing.Size(107, 22);
     324      this.installMenuItem.Size = new System.Drawing.Size(118, 22);
    325325      this.installMenuItem.Text = "Install";
    326326      this.installMenuItem.Click += new System.EventHandler(this.installButton_Clicked);
     
    329329      //
    330330      this.deleteMenuItem.Name = "deleteMenuItem";
    331       this.deleteMenuItem.Size = new System.Drawing.Size(107, 22);
     331      this.deleteMenuItem.Size = new System.Drawing.Size(118, 22);
    332332      this.deleteMenuItem.Text = "Delete";
    333333      this.deleteMenuItem.Click += new System.EventHandler(this.removeButton_Clicked);
     
    336336      //
    337337      this.publishMenuItem.Name = "publishMenuItem";
    338       this.publishMenuItem.Size = new System.Drawing.Size(107, 22);
     338      this.publishMenuItem.Size = new System.Drawing.Size(118, 22);
    339339      this.publishMenuItem.Text = "Publish";
    340340      this.publishMenuItem.Click += new System.EventHandler(this.publishButton_Click);
Note: See TracChangeset for help on using the changeset viewer.