#region License Information /* HeuristicLab * Copyright (C) 2002-2008 Heuristic and Evolutionary Algorithms Laboratory (HEAL) * * This file is part of HeuristicLab. * * HeuristicLab is free software: you can redistribute it and/or modify * it under the terms of the GNU General Public License as published by * the Free Software Foundation, either version 3 of the License, or * (at your option) any later version. * * HeuristicLab is distributed in the hope that it will be useful, * but WITHOUT ANY WARRANTY; without even the implied warranty of * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the * GNU General Public License for more details. * * You should have received a copy of the GNU General Public License * along with HeuristicLab. If not, see . */ #endregion namespace HeuristicLab.AdvancedOptimizationFrontend { partial class MainForm { /// /// Required designer variable. /// private System.ComponentModel.IContainer components = null; /// /// Clean up any resources being used. /// /// true if managed resources should be disposed; otherwise, false. protected override void Dispose(bool disposing) { if (disposing && (components != null)) { components.Dispose(); } base.Dispose(disposing); } #region Windows Form Designer generated code /// /// Required method for Designer support - do not modify /// the contents of this method with the code editor. /// private void InitializeComponent() { WeifenLuo.WinFormsUI.Docking.DockPanelSkin dockPanelSkin1 = new WeifenLuo.WinFormsUI.Docking.DockPanelSkin(); WeifenLuo.WinFormsUI.Docking.AutoHideStripSkin autoHideStripSkin1 = new WeifenLuo.WinFormsUI.Docking.AutoHideStripSkin(); WeifenLuo.WinFormsUI.Docking.DockPanelGradient dockPanelGradient1 = new WeifenLuo.WinFormsUI.Docking.DockPanelGradient(); WeifenLuo.WinFormsUI.Docking.TabGradient tabGradient1 = new WeifenLuo.WinFormsUI.Docking.TabGradient(); WeifenLuo.WinFormsUI.Docking.DockPaneStripSkin dockPaneStripSkin1 = new WeifenLuo.WinFormsUI.Docking.DockPaneStripSkin(); WeifenLuo.WinFormsUI.Docking.DockPaneStripGradient dockPaneStripGradient1 = new WeifenLuo.WinFormsUI.Docking.DockPaneStripGradient(); WeifenLuo.WinFormsUI.Docking.TabGradient tabGradient2 = new WeifenLuo.WinFormsUI.Docking.TabGradient(); WeifenLuo.WinFormsUI.Docking.DockPanelGradient dockPanelGradient2 = new WeifenLuo.WinFormsUI.Docking.DockPanelGradient(); WeifenLuo.WinFormsUI.Docking.TabGradient tabGradient3 = new WeifenLuo.WinFormsUI.Docking.TabGradient(); WeifenLuo.WinFormsUI.Docking.DockPaneStripToolWindowGradient dockPaneStripToolWindowGradient1 = new WeifenLuo.WinFormsUI.Docking.DockPaneStripToolWindowGradient(); WeifenLuo.WinFormsUI.Docking.TabGradient tabGradient4 = new WeifenLuo.WinFormsUI.Docking.TabGradient(); WeifenLuo.WinFormsUI.Docking.TabGradient tabGradient5 = new WeifenLuo.WinFormsUI.Docking.TabGradient(); WeifenLuo.WinFormsUI.Docking.DockPanelGradient dockPanelGradient3 = new WeifenLuo.WinFormsUI.Docking.DockPanelGradient(); WeifenLuo.WinFormsUI.Docking.TabGradient tabGradient6 = new WeifenLuo.WinFormsUI.Docking.TabGradient(); WeifenLuo.WinFormsUI.Docking.TabGradient tabGradient7 = new WeifenLuo.WinFormsUI.Docking.TabGradient(); System.ComponentModel.ComponentResourceManager resources = new System.ComponentModel.ComponentResourceManager(typeof(MainForm)); this.menuStrip = new System.Windows.Forms.MenuStrip(); this.fileToolStripMenuItem = new System.Windows.Forms.ToolStripMenuItem(); this.newToolStripMenuItem = new System.Windows.Forms.ToolStripMenuItem(); this.openToolStripMenuItem = new System.Windows.Forms.ToolStripMenuItem(); this.saveToolStripMenuItem = new System.Windows.Forms.ToolStripMenuItem(); this.saveAsToolStripMenuItem = new System.Windows.Forms.ToolStripMenuItem(); this.saveAllToolStripMenuItem = new System.Windows.Forms.ToolStripMenuItem(); this.closeToolStripMenuItem = new System.Windows.Forms.ToolStripMenuItem(); this.closeAllToolStripMenuItem = new System.Windows.Forms.ToolStripMenuItem(); this.toolStripMenuItem1 = new System.Windows.Forms.ToolStripSeparator(); this.exitToolStripMenuItem = new System.Windows.Forms.ToolStripMenuItem(); this.viewToolStripMenuItem = new System.Windows.Forms.ToolStripMenuItem(); this.availableOperatorsToolStripMenuItem = new System.Windows.Forms.ToolStripMenuItem(); this.toolsToolStripMenuItem = new System.Windows.Forms.ToolStripMenuItem(); this.collectGarbageToolStripMenuItem = new System.Windows.Forms.ToolStripMenuItem(); this.helpToolStripMenuItem = new System.Windows.Forms.ToolStripMenuItem(); this.aboutToolStripMenuItem = new System.Windows.Forms.ToolStripMenuItem(); this.statusStrip = new System.Windows.Forms.StatusStrip(); this.openFileDialog = new System.Windows.Forms.OpenFileDialog(); this.saveFileDialog = new System.Windows.Forms.SaveFileDialog(); this.toolStrip = new System.Windows.Forms.ToolStrip(); this.newToolStripDropDownButton = new System.Windows.Forms.ToolStripDropDownButton(); this.openToolStripButton = new System.Windows.Forms.ToolStripButton(); this.saveToolStripButton = new System.Windows.Forms.ToolStripButton(); this.saveAllToolStripButton = new System.Windows.Forms.ToolStripButton(); this.dockPanel = new WeifenLuo.WinFormsUI.Docking.DockPanel(); this.menuStrip.SuspendLayout(); this.toolStrip.SuspendLayout(); this.SuspendLayout(); // // menuStrip // this.menuStrip.AllowMerge = false; this.menuStrip.Items.AddRange(new System.Windows.Forms.ToolStripItem[] { this.fileToolStripMenuItem, this.viewToolStripMenuItem, this.toolsToolStripMenuItem, this.helpToolStripMenuItem}); this.menuStrip.Location = new System.Drawing.Point(0, 0); this.menuStrip.Name = "menuStrip"; this.menuStrip.ShowItemToolTips = true; this.menuStrip.Size = new System.Drawing.Size(1016, 24); this.menuStrip.TabIndex = 0; // // fileToolStripMenuItem // this.fileToolStripMenuItem.DropDownItems.AddRange(new System.Windows.Forms.ToolStripItem[] { this.newToolStripMenuItem, this.openToolStripMenuItem, this.saveToolStripMenuItem, this.saveAsToolStripMenuItem, this.saveAllToolStripMenuItem, this.closeToolStripMenuItem, this.closeAllToolStripMenuItem, this.toolStripMenuItem1, this.exitToolStripMenuItem}); this.fileToolStripMenuItem.Name = "fileToolStripMenuItem"; this.fileToolStripMenuItem.Size = new System.Drawing.Size(37, 20); this.fileToolStripMenuItem.Text = "&File"; // // newToolStripMenuItem // this.newToolStripMenuItem.Name = "newToolStripMenuItem"; this.newToolStripMenuItem.Size = new System.Drawing.Size(195, 22); this.newToolStripMenuItem.Text = "&New"; // // openToolStripMenuItem // this.openToolStripMenuItem.Name = "openToolStripMenuItem"; this.openToolStripMenuItem.ShortcutKeys = ((System.Windows.Forms.Keys)((System.Windows.Forms.Keys.Control | System.Windows.Forms.Keys.O))); this.openToolStripMenuItem.Size = new System.Drawing.Size(195, 22); this.openToolStripMenuItem.Text = "&Open..."; this.openToolStripMenuItem.Click += new System.EventHandler(this.openToolStripMenuItem_Click); // // saveToolStripMenuItem // this.saveToolStripMenuItem.Enabled = false; this.saveToolStripMenuItem.Name = "saveToolStripMenuItem"; this.saveToolStripMenuItem.ShortcutKeys = ((System.Windows.Forms.Keys)((System.Windows.Forms.Keys.Control | System.Windows.Forms.Keys.S))); this.saveToolStripMenuItem.Size = new System.Drawing.Size(195, 22); this.saveToolStripMenuItem.Text = "&Save"; this.saveToolStripMenuItem.Click += new System.EventHandler(this.saveToolStripMenuItem_Click); // // saveAsToolStripMenuItem // this.saveAsToolStripMenuItem.Enabled = false; this.saveAsToolStripMenuItem.Name = "saveAsToolStripMenuItem"; this.saveAsToolStripMenuItem.ShortcutKeys = ((System.Windows.Forms.Keys)(((System.Windows.Forms.Keys.Control | System.Windows.Forms.Keys.Shift) | System.Windows.Forms.Keys.S))); this.saveAsToolStripMenuItem.Size = new System.Drawing.Size(195, 22); this.saveAsToolStripMenuItem.Text = "Save &As..."; this.saveAsToolStripMenuItem.Click += new System.EventHandler(this.saveAsToolStripMenuItem_Click); // // saveAllToolStripMenuItem // this.saveAllToolStripMenuItem.Enabled = false; this.saveAllToolStripMenuItem.Name = "saveAllToolStripMenuItem"; this.saveAllToolStripMenuItem.Size = new System.Drawing.Size(195, 22); this.saveAllToolStripMenuItem.Text = "Save Al&l"; this.saveAllToolStripMenuItem.Click += new System.EventHandler(this.saveAllToolStripMenuItem_Click); // // closeToolStripMenuItem // this.closeToolStripMenuItem.Enabled = false; this.closeToolStripMenuItem.Name = "closeToolStripMenuItem"; this.closeToolStripMenuItem.Size = new System.Drawing.Size(195, 22); this.closeToolStripMenuItem.Text = "&Close"; this.closeToolStripMenuItem.Click += new System.EventHandler(this.closeToolStripMenuItem_Click); // // closeAllToolStripMenuItem // this.closeAllToolStripMenuItem.Enabled = false; this.closeAllToolStripMenuItem.Name = "closeAllToolStripMenuItem"; this.closeAllToolStripMenuItem.Size = new System.Drawing.Size(195, 22); this.closeAllToolStripMenuItem.Text = "Clos&e All"; this.closeAllToolStripMenuItem.Click += new System.EventHandler(this.closeAllToolStripMenuItem_Click); // // toolStripMenuItem1 // this.toolStripMenuItem1.Name = "toolStripMenuItem1"; this.toolStripMenuItem1.Size = new System.Drawing.Size(192, 6); // // exitToolStripMenuItem // this.exitToolStripMenuItem.Name = "exitToolStripMenuItem"; this.exitToolStripMenuItem.Size = new System.Drawing.Size(195, 22); this.exitToolStripMenuItem.Text = "E&xit"; this.exitToolStripMenuItem.Click += new System.EventHandler(this.exitToolStripMenuItem_Click); // // viewToolStripMenuItem // this.viewToolStripMenuItem.DropDownItems.AddRange(new System.Windows.Forms.ToolStripItem[] { this.availableOperatorsToolStripMenuItem}); this.viewToolStripMenuItem.Name = "viewToolStripMenuItem"; this.viewToolStripMenuItem.Size = new System.Drawing.Size(44, 20); this.viewToolStripMenuItem.Text = "&View"; // // availableOperatorsToolStripMenuItem // this.availableOperatorsToolStripMenuItem.Name = "availableOperatorsToolStripMenuItem"; this.availableOperatorsToolStripMenuItem.Size = new System.Drawing.Size(186, 22); this.availableOperatorsToolStripMenuItem.Text = "Available &Operators..."; this.availableOperatorsToolStripMenuItem.Click += new System.EventHandler(this.availableOperatorsToolStripMenuItem_Click); // // toolsToolStripMenuItem // this.toolsToolStripMenuItem.DropDownItems.AddRange(new System.Windows.Forms.ToolStripItem[] { this.collectGarbageToolStripMenuItem}); this.toolsToolStripMenuItem.Name = "toolsToolStripMenuItem"; this.toolsToolStripMenuItem.Size = new System.Drawing.Size(48, 20); this.toolsToolStripMenuItem.Text = "&Tools"; // // collectGarbageToolStripMenuItem // this.collectGarbageToolStripMenuItem.Name = "collectGarbageToolStripMenuItem"; this.collectGarbageToolStripMenuItem.Size = new System.Drawing.Size(158, 22); this.collectGarbageToolStripMenuItem.Text = "Collect &Garbage"; this.collectGarbageToolStripMenuItem.Click += new System.EventHandler(this.collectGarbageToolStripMenuItem_Click); // // helpToolStripMenuItem // this.helpToolStripMenuItem.DropDownItems.AddRange(new System.Windows.Forms.ToolStripItem[] { this.aboutToolStripMenuItem}); this.helpToolStripMenuItem.Name = "helpToolStripMenuItem"; this.helpToolStripMenuItem.Size = new System.Drawing.Size(44, 20); this.helpToolStripMenuItem.Text = "&Help"; // // aboutToolStripMenuItem // this.aboutToolStripMenuItem.Name = "aboutToolStripMenuItem"; this.aboutToolStripMenuItem.Size = new System.Drawing.Size(107, 22); this.aboutToolStripMenuItem.Text = "&About"; this.aboutToolStripMenuItem.Click += new System.EventHandler(this.aboutToolStripMenuItem_Click); // // statusStrip // this.statusStrip.Location = new System.Drawing.Point(0, 712); this.statusStrip.Name = "statusStrip"; this.statusStrip.Size = new System.Drawing.Size(1016, 22); this.statusStrip.TabIndex = 3; // // openFileDialog // this.openFileDialog.DefaultExt = "hl"; this.openFileDialog.FileName = "item"; this.openFileDialog.Filter = "HeuristicLab files|*.hl|All files|*.*"; this.openFileDialog.Title = "Open file ..."; // // saveFileDialog // this.saveFileDialog.DefaultExt = "hl"; this.saveFileDialog.FileName = "item"; this.saveFileDialog.Filter = "HeuristicLab archives|*.hl|Compressed HeuristicLab archives|*.hl|All files|*.*"; this.saveFileDialog.Title = "Save file as ..."; // // toolStrip // this.toolStrip.Items.AddRange(new System.Windows.Forms.ToolStripItem[] { this.newToolStripDropDownButton, this.openToolStripButton, this.saveToolStripButton, this.saveAllToolStripButton}); this.toolStrip.Location = new System.Drawing.Point(0, 24); this.toolStrip.Name = "toolStrip"; this.toolStrip.Size = new System.Drawing.Size(1016, 25); this.toolStrip.TabIndex = 1; this.toolStrip.Text = "toolStrip"; // // newToolStripDropDownButton // this.newToolStripDropDownButton.DisplayStyle = System.Windows.Forms.ToolStripItemDisplayStyle.Image; this.newToolStripDropDownButton.Image = global::HeuristicLab.AdvancedOptimizationFrontend.Properties.Resources.New; this.newToolStripDropDownButton.ImageTransparentColor = System.Drawing.Color.Magenta; this.newToolStripDropDownButton.Name = "newToolStripDropDownButton"; this.newToolStripDropDownButton.Size = new System.Drawing.Size(29, 22); this.newToolStripDropDownButton.Text = "New..."; // // openToolStripButton // this.openToolStripButton.DisplayStyle = System.Windows.Forms.ToolStripItemDisplayStyle.Image; this.openToolStripButton.Image = global::HeuristicLab.AdvancedOptimizationFrontend.Properties.Resources.Open; this.openToolStripButton.ImageTransparentColor = System.Drawing.Color.Magenta; this.openToolStripButton.Name = "openToolStripButton"; this.openToolStripButton.Size = new System.Drawing.Size(23, 22); this.openToolStripButton.Text = "Open..."; this.openToolStripButton.Click += new System.EventHandler(this.openToolStripButton_Click); // // saveToolStripButton // this.saveToolStripButton.DisplayStyle = System.Windows.Forms.ToolStripItemDisplayStyle.Image; this.saveToolStripButton.Enabled = false; this.saveToolStripButton.Image = global::HeuristicLab.AdvancedOptimizationFrontend.Properties.Resources.Save; this.saveToolStripButton.ImageTransparentColor = System.Drawing.Color.Magenta; this.saveToolStripButton.Name = "saveToolStripButton"; this.saveToolStripButton.Size = new System.Drawing.Size(23, 22); this.saveToolStripButton.Text = "Save"; this.saveToolStripButton.Click += new System.EventHandler(this.saveToolStripButton_Click); // // saveAllToolStripButton // this.saveAllToolStripButton.DisplayStyle = System.Windows.Forms.ToolStripItemDisplayStyle.Image; this.saveAllToolStripButton.Enabled = false; this.saveAllToolStripButton.Image = global::HeuristicLab.AdvancedOptimizationFrontend.Properties.Resources.SaveAll; this.saveAllToolStripButton.ImageTransparentColor = System.Drawing.Color.Magenta; this.saveAllToolStripButton.Name = "saveAllToolStripButton"; this.saveAllToolStripButton.Size = new System.Drawing.Size(23, 22); this.saveAllToolStripButton.Text = "Save all"; this.saveAllToolStripButton.Click += new System.EventHandler(this.saveAllToolStripButton_Click); // // dockPanel // this.dockPanel.ActiveAutoHideContent = null; this.dockPanel.Dock = System.Windows.Forms.DockStyle.Fill; this.dockPanel.DockBackColor = System.Drawing.SystemColors.Control; this.dockPanel.DockBottomPortion = 0.33; this.dockPanel.DockLeftPortion = 0.33; this.dockPanel.DockRightPortion = 0.33; this.dockPanel.DockTopPortion = 0.33; this.dockPanel.Location = new System.Drawing.Point(0, 49); this.dockPanel.Name = "dockPanel"; this.dockPanel.RightToLeftLayout = true; this.dockPanel.Size = new System.Drawing.Size(1016, 663); dockPanelGradient1.EndColor = System.Drawing.SystemColors.ControlLight; dockPanelGradient1.StartColor = System.Drawing.SystemColors.ControlLight; autoHideStripSkin1.DockStripGradient = dockPanelGradient1; tabGradient1.EndColor = System.Drawing.SystemColors.Control; tabGradient1.StartColor = System.Drawing.SystemColors.Control; tabGradient1.TextColor = System.Drawing.SystemColors.ControlDarkDark; autoHideStripSkin1.TabGradient = tabGradient1; dockPanelSkin1.AutoHideStripSkin = autoHideStripSkin1; tabGradient2.EndColor = System.Drawing.SystemColors.ControlLightLight; tabGradient2.StartColor = System.Drawing.SystemColors.ControlLightLight; tabGradient2.TextColor = System.Drawing.SystemColors.ControlText; dockPaneStripGradient1.ActiveTabGradient = tabGradient2; dockPanelGradient2.EndColor = System.Drawing.SystemColors.Control; dockPanelGradient2.StartColor = System.Drawing.SystemColors.Control; dockPaneStripGradient1.DockStripGradient = dockPanelGradient2; tabGradient3.EndColor = System.Drawing.SystemColors.ControlLight; tabGradient3.StartColor = System.Drawing.SystemColors.ControlLight; tabGradient3.TextColor = System.Drawing.SystemColors.ControlText; dockPaneStripGradient1.InactiveTabGradient = tabGradient3; dockPaneStripSkin1.DocumentGradient = dockPaneStripGradient1; tabGradient4.EndColor = System.Drawing.SystemColors.ActiveCaption; tabGradient4.LinearGradientMode = System.Drawing.Drawing2D.LinearGradientMode.Vertical; tabGradient4.StartColor = System.Drawing.SystemColors.GradientActiveCaption; tabGradient4.TextColor = System.Drawing.SystemColors.ActiveCaptionText; dockPaneStripToolWindowGradient1.ActiveCaptionGradient = tabGradient4; tabGradient5.EndColor = System.Drawing.SystemColors.Control; tabGradient5.StartColor = System.Drawing.SystemColors.Control; tabGradient5.TextColor = System.Drawing.SystemColors.ControlText; dockPaneStripToolWindowGradient1.ActiveTabGradient = tabGradient5; dockPanelGradient3.EndColor = System.Drawing.SystemColors.ControlLight; dockPanelGradient3.StartColor = System.Drawing.SystemColors.ControlLight; dockPaneStripToolWindowGradient1.DockStripGradient = dockPanelGradient3; tabGradient6.EndColor = System.Drawing.SystemColors.GradientInactiveCaption; tabGradient6.LinearGradientMode = System.Drawing.Drawing2D.LinearGradientMode.Vertical; tabGradient6.StartColor = System.Drawing.SystemColors.GradientInactiveCaption; tabGradient6.TextColor = System.Drawing.SystemColors.ControlText; dockPaneStripToolWindowGradient1.InactiveCaptionGradient = tabGradient6; tabGradient7.EndColor = System.Drawing.Color.Transparent; tabGradient7.StartColor = System.Drawing.Color.Transparent; tabGradient7.TextColor = System.Drawing.SystemColors.ControlDarkDark; dockPaneStripToolWindowGradient1.InactiveTabGradient = tabGradient7; dockPaneStripSkin1.ToolWindowGradient = dockPaneStripToolWindowGradient1; dockPanelSkin1.DockPaneStripSkin = dockPaneStripSkin1; this.dockPanel.Skin = dockPanelSkin1; this.dockPanel.TabIndex = 2; // // MainForm // this.AutoScaleDimensions = new System.Drawing.SizeF(6F, 13F); this.AutoScaleMode = System.Windows.Forms.AutoScaleMode.Font; this.ClientSize = new System.Drawing.Size(1016, 734); this.Controls.Add(this.dockPanel); this.Controls.Add(this.toolStrip); this.Controls.Add(this.statusStrip); this.Controls.Add(this.menuStrip); this.Icon = ((System.Drawing.Icon)(resources.GetObject("$this.Icon"))); this.IsMdiContainer = true; this.MainMenuStrip = this.menuStrip; this.Name = "MainForm"; this.Text = "HeuristicLab"; this.MdiChildActivate += new System.EventHandler(this.MainForm_MdiChildActivate); this.menuStrip.ResumeLayout(false); this.menuStrip.PerformLayout(); this.toolStrip.ResumeLayout(false); this.toolStrip.PerformLayout(); this.ResumeLayout(false); this.PerformLayout(); } #endregion private System.Windows.Forms.MenuStrip menuStrip; private System.Windows.Forms.ToolStripMenuItem fileToolStripMenuItem; private System.Windows.Forms.ToolStripMenuItem exitToolStripMenuItem; private System.Windows.Forms.StatusStrip statusStrip; private System.Windows.Forms.ToolStripMenuItem newToolStripMenuItem; private System.Windows.Forms.ToolStripSeparator toolStripMenuItem1; private System.Windows.Forms.ToolStripMenuItem openToolStripMenuItem; private System.Windows.Forms.ToolStripMenuItem helpToolStripMenuItem; private System.Windows.Forms.ToolStripMenuItem aboutToolStripMenuItem; private System.Windows.Forms.ToolStripMenuItem closeToolStripMenuItem; private System.Windows.Forms.ToolStripMenuItem closeAllToolStripMenuItem; private System.Windows.Forms.ToolStripMenuItem saveToolStripMenuItem; private System.Windows.Forms.OpenFileDialog openFileDialog; private System.Windows.Forms.SaveFileDialog saveFileDialog; private System.Windows.Forms.ToolStripMenuItem saveAsToolStripMenuItem; private System.Windows.Forms.ToolStripMenuItem saveAllToolStripMenuItem; private System.Windows.Forms.ToolStripMenuItem toolsToolStripMenuItem; private System.Windows.Forms.ToolStripMenuItem collectGarbageToolStripMenuItem; private System.Windows.Forms.ToolStrip toolStrip; private System.Windows.Forms.ToolStripDropDownButton newToolStripDropDownButton; private System.Windows.Forms.ToolStripButton openToolStripButton; private System.Windows.Forms.ToolStripButton saveToolStripButton; private System.Windows.Forms.ToolStripButton saveAllToolStripButton; private System.Windows.Forms.ToolStripMenuItem viewToolStripMenuItem; private System.Windows.Forms.ToolStripMenuItem availableOperatorsToolStripMenuItem; private WeifenLuo.WinFormsUI.Docking.DockPanel dockPanel; } }