Changeset 3600 for trunk/sources/HeuristicLab.PluginInfrastructure/Advanced/InstallationManagerForm.Designer.cs

Timestamp:

05/03/10 19:15:41 (14 years ago)

Author:

gkronber

Message:

Implemented reviewer comments in plugin infrastructure. #989 (Implement review comments in plugin infrastructure)

File:

• trunk/sources/HeuristicLab.PluginInfrastructure/Advanced/InstallationManagerForm.Designer.cs (modified) (5 diffs)

trunk/sources/HeuristicLab.PluginInfrastructure/Advanced/InstallationManagerForm.Designer.cs

@@ -63 +63 @@
       this.logTextBox = new System.Windows.Forms.TextBox();
       this.menuStrip = new System.Windows.Forms.MenuStrip();
-      this.viewToolStripMenuItem = new System.Windows.Forms.ToolStripMenuItem();
-      this.simpleToolStripMenuItem = new System.Windows.Forms.ToolStripMenuItem();
-      this.advancedToolStripMenuItem = new System.Windows.Forms.ToolStripMenuItem();
       this.optionsToolStripMenuItem = new System.Windows.Forms.ToolStripMenuItem();
       this.connectionSettingsToolStripMenuItem = new System.Windows.Forms.ToolStripMenuItem();
@@ -119 +116 @@
       this.tabControl.Size = new System.Drawing.Size(598, 392);
       this.tabControl.TabIndex = 16;
-      this.tabControl.Selected += new System.Windows.Forms.TabControlEventHandler(this.tabControl_Selected);
       // 
       // updateAllPluginsTabPage
@@ -272 +268 @@
       // 
       this.menuStrip.Items.AddRange(new System.Windows.Forms.ToolStripItem[] {
-            this.viewToolStripMenuItem,
             this.optionsToolStripMenuItem});
       this.menuStrip.Location = new System.Drawing.Point(0, 0);
@@ -279 +274 @@
       this.menuStrip.TabIndex = 17;
       this.menuStrip.Text = "menuStrip1";
-      // 
-      // viewToolStripMenuItem
-      // 
-      this.viewToolStripMenuItem.DropDownItems.AddRange(new System.Windows.Forms.ToolStripItem[] {
-            this.simpleToolStripMenuItem,
-            this.advancedToolStripMenuItem});
-      this.viewToolStripMenuItem.Name = "viewToolStripMenuItem";
-      this.viewToolStripMenuItem.Size = new System.Drawing.Size(44, 20);
-      this.viewToolStripMenuItem.Text = "View";
-      this.viewToolStripMenuItem.Visible = false;
-      // 
-      // simpleToolStripMenuItem
-      // 
-      this.simpleToolStripMenuItem.Checked = true;
-      this.simpleToolStripMenuItem.CheckOnClick = true;
-      this.simpleToolStripMenuItem.CheckState = System.Windows.Forms.CheckState.Checked;
-      this.simpleToolStripMenuItem.Name = "simpleToolStripMenuItem";
-      this.simpleToolStripMenuItem.Size = new System.Drawing.Size(214, 22);
-      this.simpleToolStripMenuItem.Text = "Show Most Recent Plugins";
-      this.simpleToolStripMenuItem.Click += new System.EventHandler(this.simpleToolStripMenuItem_Click);
-      // 
-      // advancedToolStripMenuItem
-      // 
-      this.advancedToolStripMenuItem.CheckOnClick = true;
-      this.advancedToolStripMenuItem.Name = "advancedToolStripMenuItem";
-      this.advancedToolStripMenuItem.Size = new System.Drawing.Size(214, 22);
-      this.advancedToolStripMenuItem.Text = "Show All Plugins";
-      this.advancedToolStripMenuItem.Click += new System.EventHandler(this.advancedToolStripMenuItem_Click);
       // 
       // optionsToolStripMenuItem
@@ -365 +332 @@
     private System.Windows.Forms.TextBox logTextBox;
     private System.Windows.Forms.MenuStrip menuStrip;
-    private System.Windows.Forms.ToolStripMenuItem viewToolStripMenuItem;
-    private System.Windows.Forms.ToolStripMenuItem simpleToolStripMenuItem;
-    private System.Windows.Forms.ToolStripMenuItem advancedToolStripMenuItem;
     private System.Windows.Forms.ToolStripMenuItem optionsToolStripMenuItem;
     private System.Windows.Forms.ToolStripMenuItem connectionSettingsToolStripMenuItem;