#region License Information /* HeuristicLab * Copyright (C) 2002-2010 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.DebugEngine { partial class DebugEngineView { /// /// 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() { this.components = new System.ComponentModel.Container(); System.ComponentModel.ComponentResourceManager resources = new System.ComponentModel.ComponentResourceManager(typeof(DebugEngineView)); this.label1 = new System.Windows.Forms.Label(); this.executionTimeTextBox = new System.Windows.Forms.TextBox(); this.logView = new HeuristicLab.Core.Views.LogView(); this.splitContainer1 = new System.Windows.Forms.SplitContainer(); this.executionStackTreeView = new System.Windows.Forms.TreeView(); this.label2 = new System.Windows.Forms.Label(); this.splitContainer2 = new System.Windows.Forms.SplitContainer(); this.label4 = new System.Windows.Forms.Label(); this.operationTextBox = new System.Windows.Forms.TextBox(); this.label3 = new System.Windows.Forms.Label(); this.scopeTreeView = new System.Windows.Forms.TreeView(); this.stepButton = new System.Windows.Forms.Button(); this.updateButton = new System.Windows.Forms.Button(); this.toolTip = new System.Windows.Forms.ToolTip(this.components); this.parentButton = new System.Windows.Forms.Button(); this.splitContainer3 = new System.Windows.Forms.SplitContainer(); this.parameterCollectionView = new HeuristicLab.Core.Views.ParameterCollectionView(); this.splitContainer1.Panel1.SuspendLayout(); this.splitContainer1.Panel2.SuspendLayout(); this.splitContainer1.SuspendLayout(); this.splitContainer2.Panel1.SuspendLayout(); this.splitContainer2.Panel2.SuspendLayout(); this.splitContainer2.SuspendLayout(); this.splitContainer3.Panel1.SuspendLayout(); this.splitContainer3.Panel2.SuspendLayout(); this.splitContainer3.SuspendLayout(); this.SuspendLayout(); // // label1 // this.label1.AutoSize = true; this.label1.Location = new System.Drawing.Point(3, 9); this.label1.Name = "label1"; this.label1.Size = new System.Drawing.Size(83, 13); this.label1.TabIndex = 0; this.label1.Text = "Execution Time:"; // // executionTimeTextBox // this.executionTimeTextBox.Anchor = ((System.Windows.Forms.AnchorStyles)(((System.Windows.Forms.AnchorStyles.Top | System.Windows.Forms.AnchorStyles.Left) | System.Windows.Forms.AnchorStyles.Right))); this.executionTimeTextBox.Location = new System.Drawing.Point(92, 6); this.executionTimeTextBox.Name = "executionTimeTextBox"; this.executionTimeTextBox.ReadOnly = true; this.executionTimeTextBox.Size = new System.Drawing.Size(684, 20); this.executionTimeTextBox.TabIndex = 1; // // logView // this.logView.Caption = "Log View"; this.logView.Content = null; this.logView.Dock = System.Windows.Forms.DockStyle.Fill; this.logView.Location = new System.Drawing.Point(0, 0); this.logView.Name = "logView"; this.logView.ReadOnly = false; this.logView.Size = new System.Drawing.Size(433, 237); this.logView.TabIndex = 2; // // splitContainer1 // this.splitContainer1.Dock = System.Windows.Forms.DockStyle.Fill; this.splitContainer1.Location = new System.Drawing.Point(0, 0); this.splitContainer1.Name = "splitContainer1"; this.splitContainer1.Orientation = System.Windows.Forms.Orientation.Horizontal; // // splitContainer1.Panel1 // this.splitContainer1.Panel1.Controls.Add(this.executionStackTreeView); this.splitContainer1.Panel1.Controls.Add(this.label2); // // splitContainer1.Panel2 // this.splitContainer1.Panel2.Controls.Add(this.logView); this.splitContainer1.Size = new System.Drawing.Size(433, 503); this.splitContainer1.SplitterDistance = 262; this.splitContainer1.TabIndex = 3; // // executionStackTreeView // this.executionStackTreeView.Anchor = ((System.Windows.Forms.AnchorStyles)((((System.Windows.Forms.AnchorStyles.Top | System.Windows.Forms.AnchorStyles.Bottom) | System.Windows.Forms.AnchorStyles.Left) | System.Windows.Forms.AnchorStyles.Right))); this.executionStackTreeView.Location = new System.Drawing.Point(3, 16); this.executionStackTreeView.Name = "executionStackTreeView"; this.executionStackTreeView.ShowNodeToolTips = true; this.executionStackTreeView.Size = new System.Drawing.Size(427, 243); this.executionStackTreeView.TabIndex = 2; this.executionStackTreeView.NodeMouseDoubleClick += new System.Windows.Forms.TreeNodeMouseClickEventHandler(this.executionStackTreeView_NodeMouseDoubleClick); // // label2 // this.label2.AutoSize = true; this.label2.Location = new System.Drawing.Point(3, 0); this.label2.Name = "label2"; this.label2.Size = new System.Drawing.Size(85, 13); this.label2.TabIndex = 1; this.label2.Text = "Execution Stack"; // // splitContainer2 // this.splitContainer2.Anchor = ((System.Windows.Forms.AnchorStyles)((((System.Windows.Forms.AnchorStyles.Top | System.Windows.Forms.AnchorStyles.Bottom) | System.Windows.Forms.AnchorStyles.Left) | System.Windows.Forms.AnchorStyles.Right))); this.splitContainer2.Location = new System.Drawing.Point(3, 32); this.splitContainer2.Name = "splitContainer2"; // // splitContainer2.Panel1 // this.splitContainer2.Panel1.Controls.Add(this.splitContainer1); // // splitContainer2.Panel2 // this.splitContainer2.Panel2.Controls.Add(this.splitContainer3); this.splitContainer2.Panel2.Controls.Add(this.label4); this.splitContainer2.Panel2.Controls.Add(this.operationTextBox); this.splitContainer2.Size = new System.Drawing.Size(866, 503); this.splitContainer2.SplitterDistance = 433; this.splitContainer2.TabIndex = 0; // // label4 // this.label4.AutoSize = true; this.label4.Location = new System.Drawing.Point(3, 6); this.label4.Name = "label4"; this.label4.Size = new System.Drawing.Size(56, 13); this.label4.TabIndex = 3; this.label4.Text = "Operation:"; // // operationTextBox // this.operationTextBox.Location = new System.Drawing.Point(65, 3); this.operationTextBox.Name = "operationTextBox"; this.operationTextBox.ReadOnly = true; this.operationTextBox.Size = new System.Drawing.Size(267, 20); this.operationTextBox.TabIndex = 2; // // label3 // this.label3.AutoSize = true; this.label3.Location = new System.Drawing.Point(3, 0); this.label3.Name = "label3"; this.label3.Size = new System.Drawing.Size(63, 13); this.label3.TabIndex = 1; this.label3.Text = "Scope Tree"; // // scopeTreeView // this.scopeTreeView.Anchor = ((System.Windows.Forms.AnchorStyles)((((System.Windows.Forms.AnchorStyles.Top | System.Windows.Forms.AnchorStyles.Bottom) | System.Windows.Forms.AnchorStyles.Left) | System.Windows.Forms.AnchorStyles.Right))); this.scopeTreeView.Location = new System.Drawing.Point(3, 16); this.scopeTreeView.Name = "scopeTreeView"; this.scopeTreeView.ShowNodeToolTips = true; this.scopeTreeView.Size = new System.Drawing.Size(417, 216); this.scopeTreeView.TabIndex = 0; this.scopeTreeView.NodeMouseDoubleClick += new System.Windows.Forms.TreeNodeMouseClickEventHandler(this.scopeTreeView_NodeMouseDoubleClick); // // stepButton // this.stepButton.Anchor = ((System.Windows.Forms.AnchorStyles)((System.Windows.Forms.AnchorStyles.Top | System.Windows.Forms.AnchorStyles.Right))); this.stepButton.Image = ((System.Drawing.Image)(resources.GetObject("stepButton.Image"))); this.stepButton.Location = new System.Drawing.Point(812, 3); this.stepButton.Name = "stepButton"; this.stepButton.Size = new System.Drawing.Size(24, 24); this.stepButton.TabIndex = 4; this.toolTip.SetToolTip(this.stepButton, "Step"); this.stepButton.UseVisualStyleBackColor = true; this.stepButton.Click += new System.EventHandler(this.stepButton_Click); // // updateButton // this.updateButton.Anchor = ((System.Windows.Forms.AnchorStyles)((System.Windows.Forms.AnchorStyles.Top | System.Windows.Forms.AnchorStyles.Right))); this.updateButton.Image = ((System.Drawing.Image)(resources.GetObject("updateButton.Image"))); this.updateButton.Location = new System.Drawing.Point(842, 3); this.updateButton.Name = "updateButton"; this.updateButton.Size = new System.Drawing.Size(24, 24); this.updateButton.TabIndex = 5; this.toolTip.SetToolTip(this.updateButton, "Refresh/Reset View"); this.updateButton.UseVisualStyleBackColor = true; this.updateButton.Click += new System.EventHandler(this.updateButton_Click); // // parentButton // this.parentButton.Anchor = ((System.Windows.Forms.AnchorStyles)((System.Windows.Forms.AnchorStyles.Top | System.Windows.Forms.AnchorStyles.Right))); this.parentButton.Image = ((System.Drawing.Image)(resources.GetObject("parentButton.Image"))); this.parentButton.Location = new System.Drawing.Point(782, 3); this.parentButton.Name = "parentButton"; this.parentButton.Size = new System.Drawing.Size(24, 24); this.parentButton.TabIndex = 6; this.toolTip.SetToolTip(this.parentButton, "Go to parent ExecutionContext"); this.parentButton.UseVisualStyleBackColor = true; this.parentButton.Click += new System.EventHandler(this.parentButton_Click); // // splitContainer3 // this.splitContainer3.Anchor = ((System.Windows.Forms.AnchorStyles)((((System.Windows.Forms.AnchorStyles.Top | System.Windows.Forms.AnchorStyles.Bottom) | System.Windows.Forms.AnchorStyles.Left) | System.Windows.Forms.AnchorStyles.Right))); this.splitContainer3.Location = new System.Drawing.Point(3, 29); this.splitContainer3.Name = "splitContainer3"; this.splitContainer3.Orientation = System.Windows.Forms.Orientation.Horizontal; // // splitContainer3.Panel1 // this.splitContainer3.Panel1.Controls.Add(this.parameterCollectionView); // // splitContainer3.Panel2 // this.splitContainer3.Panel2.Controls.Add(this.label3); this.splitContainer3.Panel2.Controls.Add(this.scopeTreeView); this.splitContainer3.Size = new System.Drawing.Size(423, 471); this.splitContainer3.SplitterDistance = 235; this.splitContainer3.TabIndex = 4; // // parameterCollectionView // this.parameterCollectionView.Caption = "ParameterCollection View"; this.parameterCollectionView.Content = null; this.parameterCollectionView.Dock = System.Windows.Forms.DockStyle.Fill; this.parameterCollectionView.Location = new System.Drawing.Point(0, 0); this.parameterCollectionView.Name = "parameterCollectionView"; this.parameterCollectionView.ReadOnly = false; this.parameterCollectionView.Size = new System.Drawing.Size(423, 235); this.parameterCollectionView.TabIndex = 0; // // DebugEngineView // this.AutoScaleDimensions = new System.Drawing.SizeF(6F, 13F); this.Controls.Add(this.parentButton); this.Controls.Add(this.splitContainer2); this.Controls.Add(this.updateButton); this.Controls.Add(this.stepButton); this.Controls.Add(this.executionTimeTextBox); this.Controls.Add(this.label1); this.Name = "DebugEngineView"; this.Size = new System.Drawing.Size(872, 538); this.splitContainer1.Panel1.ResumeLayout(false); this.splitContainer1.Panel1.PerformLayout(); this.splitContainer1.Panel2.ResumeLayout(false); this.splitContainer1.ResumeLayout(false); this.splitContainer2.Panel1.ResumeLayout(false); this.splitContainer2.Panel2.ResumeLayout(false); this.splitContainer2.Panel2.PerformLayout(); this.splitContainer2.ResumeLayout(false); this.splitContainer3.Panel1.ResumeLayout(false); this.splitContainer3.Panel2.ResumeLayout(false); this.splitContainer3.Panel2.PerformLayout(); this.splitContainer3.ResumeLayout(false); this.ResumeLayout(false); this.PerformLayout(); } #endregion private System.Windows.Forms.Label label1; private System.Windows.Forms.TextBox executionTimeTextBox; private Core.Views.LogView logView; private System.Windows.Forms.SplitContainer splitContainer1; private System.Windows.Forms.SplitContainer splitContainer2; private System.Windows.Forms.Label label2; private System.Windows.Forms.Label label3; private System.Windows.Forms.TreeView scopeTreeView; private System.Windows.Forms.TreeView executionStackTreeView; private System.Windows.Forms.Button stepButton; private System.Windows.Forms.Button updateButton; private System.Windows.Forms.ToolTip toolTip; private System.Windows.Forms.Button parentButton; private System.Windows.Forms.Label label4; private System.Windows.Forms.TextBox operationTextBox; private System.Windows.Forms.SplitContainer splitContainer3; private Core.Views.ParameterCollectionView parameterCollectionView; } }