Free cookie consent management tool by TermsFeed Policy Generator

Ignore:
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:
1 edited

Legend:

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

    r15 r18  
    6868      this.toolStripSeparator = new System.Windows.Forms.ToolStripSeparator();
    6969      this.installButton = new System.Windows.Forms.ToolStripButton();
    70       this.removeButton = new System.Windows.Forms.ToolStripButton();
     70      this.deleteButton = new System.Windows.Forms.ToolStripButton();
    7171      this.toolStripSeparator1 = new System.Windows.Forms.ToolStripSeparator();
    7272      this.publishButton = new System.Windows.Forms.ToolStripButton();
    7373      this.pluginContextMenuStrip = new System.Windows.Forms.ContextMenuStrip(this.components);
    7474      this.installMenuItem = new System.Windows.Forms.ToolStripMenuItem();
    75       this.removeMenuItem = new System.Windows.Forms.ToolStripMenuItem();
     75      this.deleteMenuItem = new System.Windows.Forms.ToolStripMenuItem();
    7676      this.publishMenuItem = new System.Windows.Forms.ToolStripMenuItem();
    7777      this.menuStrip.SuspendLayout();
     
    138138      //
    139139      this.installNewPluginsToolStripMenuItem.Name = "installNewPluginsToolStripMenuItem";
    140       this.installNewPluginsToolStripMenuItem.Size = new System.Drawing.Size(214, 22);
    141       this.installNewPluginsToolStripMenuItem.Text = "Remove/Upgrade/Install...";
     140      this.installNewPluginsToolStripMenuItem.Size = new System.Drawing.Size(206, 22);
     141      this.installNewPluginsToolStripMenuItem.Text = "Delete/Upgrade/Install...";
    142142      this.installNewPluginsToolStripMenuItem.Click += new System.EventHandler(this.upgradeButton_Click);
    143143      //
     
    206206      this.pluginTreeView.Size = new System.Drawing.Size(828, 220);
    207207      this.pluginTreeView.TabIndex = 0;
     208      this.pluginTreeView.KeyPress += new System.Windows.Forms.KeyPressEventHandler(this.pluginTreeView_KeyPress);
    208209      this.pluginTreeView.NodeMouseClick += new System.Windows.Forms.TreeNodeMouseClickEventHandler(this.pluginTreeView_NodeMouseClick);
    209210      this.pluginTreeView.BeforeSelect += new System.Windows.Forms.TreeViewCancelEventHandler(this.pluginTreeView_BeforeSelect);
     
    235236            this.toolStripSeparator,
    236237            this.installButton,
    237             this.removeButton,
     238            this.deleteButton,
    238239            this.toolStripSeparator1,
    239240            this.publishButton});
     
    251252      this.updateButton.Name = "updateButton";
    252253      this.updateButton.Size = new System.Drawing.Size(46, 22);
    253       this.updateButton.Text = "U&pdate";
     254      this.updateButton.Text = "Update";
    254255      this.updateButton.Click += new System.EventHandler(this.updateButton_Click);
    255256      //
     
    260261      this.upgradeButton.ImageTransparentColor = System.Drawing.Color.Magenta;
    261262      this.upgradeButton.Name = "upgradeButton";
    262       this.upgradeButton.Size = new System.Drawing.Size(140, 22);
    263       this.upgradeButton.Text = "Remove/&Upgrade/Install...";
     263      this.upgradeButton.Size = new System.Drawing.Size(132, 22);
     264      this.upgradeButton.Text = "Delete/Upgrade/Install...";
    264265      this.upgradeButton.Click += new System.EventHandler(this.upgradeButton_Click);
    265266      //
     
    280281      this.installButton.Click += new System.EventHandler(this.installButton_Clicked);
    281282      //
    282       // removeButton
    283       //
    284       this.removeButton.CheckOnClick = true;
    285       this.removeButton.DisplayStyle = System.Windows.Forms.ToolStripItemDisplayStyle.Text;
    286       this.removeButton.Image = ((System.Drawing.Image)(resources.GetObject("removeButton.Image")));
    287       this.removeButton.ImageTransparentColor = System.Drawing.Color.Magenta;
    288       this.removeButton.Name = "removeButton";
    289       this.removeButton.Size = new System.Drawing.Size(50, 22);
    290       this.removeButton.Text = "&Remove";
    291       this.removeButton.Click += new System.EventHandler(this.removeButton_Clicked);
     283      // deleteButton
     284      //
     285      this.deleteButton.CheckOnClick = true;
     286      this.deleteButton.DisplayStyle = System.Windows.Forms.ToolStripItemDisplayStyle.Text;
     287      this.deleteButton.Image = ((System.Drawing.Image)(resources.GetObject("deleteButton.Image")));
     288      this.deleteButton.ImageTransparentColor = System.Drawing.Color.Magenta;
     289      this.deleteButton.Name = "deleteButton";
     290      this.deleteButton.Size = new System.Drawing.Size(42, 22);
     291      this.deleteButton.Text = "&Delete";
     292      this.deleteButton.Click += new System.EventHandler(this.removeButton_Clicked);
    292293      //
    293294      // toolStripSeparator1
     
    310311      this.pluginContextMenuStrip.Items.AddRange(new System.Windows.Forms.ToolStripItem[] {
    311312            this.installMenuItem,
    312             this.removeMenuItem,
     313            this.deleteMenuItem,
    313314            this.publishMenuItem});
    314315      this.pluginContextMenuStrip.Name = "pluginContextMenuStrip";
    315       this.pluginContextMenuStrip.Size = new System.Drawing.Size(125, 70);
     316      this.pluginContextMenuStrip.Size = new System.Drawing.Size(119, 70);
    316317      //
    317318      // installMenuItem
    318319      //
    319320      this.installMenuItem.Name = "installMenuItem";
    320       this.installMenuItem.Size = new System.Drawing.Size(124, 22);
     321      this.installMenuItem.Size = new System.Drawing.Size(152, 22);
    321322      this.installMenuItem.Text = "Install";
    322323      this.installMenuItem.Click += new System.EventHandler(this.installButton_Clicked);
    323324      //
    324       // removeMenuItem
    325       //
    326       this.removeMenuItem.Name = "removeMenuItem";
    327       this.removeMenuItem.Size = new System.Drawing.Size(124, 22);
    328       this.removeMenuItem.Text = "Remove";
    329       this.removeMenuItem.Click += new System.EventHandler(this.removeButton_Clicked);
     325      // deleteMenuItem
     326      //
     327      this.deleteMenuItem.Name = "deleteMenuItem";
     328      this.deleteMenuItem.Size = new System.Drawing.Size(118, 22);
     329      this.deleteMenuItem.Text = "Delete";
     330      this.deleteMenuItem.Click += new System.EventHandler(this.removeButton_Clicked);
    330331      //
    331332      // publishMenuItem
    332333      //
    333334      this.publishMenuItem.Name = "publishMenuItem";
    334       this.publishMenuItem.Size = new System.Drawing.Size(124, 22);
     335      this.publishMenuItem.Size = new System.Drawing.Size(152, 22);
    335336      this.publishMenuItem.Text = "Publish";
    336337      this.publishMenuItem.Click += new System.EventHandler(this.publishButton_Click);
     
    379380    private System.Windows.Forms.ToolStripSeparator toolStripSeparator;
    380381    private System.Windows.Forms.ToolStripButton installButton;
    381     private System.Windows.Forms.ToolStripButton removeButton;
     382    private System.Windows.Forms.ToolStripButton deleteButton;
    382383    private System.Windows.Forms.ToolStripMenuItem exitToolStripMenuItem;
    383384    private System.Windows.Forms.ToolStripSeparator toolStripSeparator1;
     
    385386    private System.Windows.Forms.ContextMenuStrip pluginContextMenuStrip;
    386387    private System.Windows.Forms.ToolStripMenuItem installMenuItem;
    387     private System.Windows.Forms.ToolStripMenuItem removeMenuItem;
     388    private System.Windows.Forms.ToolStripMenuItem deleteMenuItem;
    388389    private System.Windows.Forms.ToolStripMenuItem publishMenuItem;
    389390    private System.Windows.Forms.ToolStripMenuItem installPluginFromFileToolStripMenuItem;
Note: See TracChangeset for help on using the changeset viewer.