Changeset 3600 for trunk/sources/HeuristicLab.PluginInfrastructure/Advanced/InstallationManagerForm.Designer.cs
- Timestamp:
- 05/03/10 19:15:41 (14 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
trunk/sources/HeuristicLab.PluginInfrastructure/Advanced/InstallationManagerForm.Designer.cs
r3573 r3600 63 63 this.logTextBox = new System.Windows.Forms.TextBox(); 64 64 this.menuStrip = new System.Windows.Forms.MenuStrip(); 65 this.viewToolStripMenuItem = new System.Windows.Forms.ToolStripMenuItem();66 this.simpleToolStripMenuItem = new System.Windows.Forms.ToolStripMenuItem();67 this.advancedToolStripMenuItem = new System.Windows.Forms.ToolStripMenuItem();68 65 this.optionsToolStripMenuItem = new System.Windows.Forms.ToolStripMenuItem(); 69 66 this.connectionSettingsToolStripMenuItem = new System.Windows.Forms.ToolStripMenuItem(); … … 119 116 this.tabControl.Size = new System.Drawing.Size(598, 392); 120 117 this.tabControl.TabIndex = 16; 121 this.tabControl.Selected += new System.Windows.Forms.TabControlEventHandler(this.tabControl_Selected);122 118 // 123 119 // updateAllPluginsTabPage … … 272 268 // 273 269 this.menuStrip.Items.AddRange(new System.Windows.Forms.ToolStripItem[] { 274 this.viewToolStripMenuItem,275 270 this.optionsToolStripMenuItem}); 276 271 this.menuStrip.Location = new System.Drawing.Point(0, 0); … … 279 274 this.menuStrip.TabIndex = 17; 280 275 this.menuStrip.Text = "menuStrip1"; 281 //282 // viewToolStripMenuItem283 //284 this.viewToolStripMenuItem.DropDownItems.AddRange(new System.Windows.Forms.ToolStripItem[] {285 this.simpleToolStripMenuItem,286 this.advancedToolStripMenuItem});287 this.viewToolStripMenuItem.Name = "viewToolStripMenuItem";288 this.viewToolStripMenuItem.Size = new System.Drawing.Size(44, 20);289 this.viewToolStripMenuItem.Text = "View";290 this.viewToolStripMenuItem.Visible = false;291 //292 // simpleToolStripMenuItem293 //294 this.simpleToolStripMenuItem.Checked = true;295 this.simpleToolStripMenuItem.CheckOnClick = true;296 this.simpleToolStripMenuItem.CheckState = System.Windows.Forms.CheckState.Checked;297 this.simpleToolStripMenuItem.Name = "simpleToolStripMenuItem";298 this.simpleToolStripMenuItem.Size = new System.Drawing.Size(214, 22);299 this.simpleToolStripMenuItem.Text = "Show Most Recent Plugins";300 this.simpleToolStripMenuItem.Click += new System.EventHandler(this.simpleToolStripMenuItem_Click);301 //302 // advancedToolStripMenuItem303 //304 this.advancedToolStripMenuItem.CheckOnClick = true;305 this.advancedToolStripMenuItem.Name = "advancedToolStripMenuItem";306 this.advancedToolStripMenuItem.Size = new System.Drawing.Size(214, 22);307 this.advancedToolStripMenuItem.Text = "Show All Plugins";308 this.advancedToolStripMenuItem.Click += new System.EventHandler(this.advancedToolStripMenuItem_Click);309 276 // 310 277 // optionsToolStripMenuItem … … 365 332 private System.Windows.Forms.TextBox logTextBox; 366 333 private System.Windows.Forms.MenuStrip menuStrip; 367 private System.Windows.Forms.ToolStripMenuItem viewToolStripMenuItem;368 private System.Windows.Forms.ToolStripMenuItem simpleToolStripMenuItem;369 private System.Windows.Forms.ToolStripMenuItem advancedToolStripMenuItem;370 334 private System.Windows.Forms.ToolStripMenuItem optionsToolStripMenuItem; 371 335 private System.Windows.Forms.ToolStripMenuItem connectionSettingsToolStripMenuItem;
Note: See TracChangeset
for help on using the changeset viewer.