namespace HeuristicLab.DebugEngine { partial class ExecutionStackView { /// /// 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 Component 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(); this.treeView = new System.Windows.Forms.TreeView(); this.groupBox = new System.Windows.Forms.GroupBox(); this.imageList = new System.Windows.Forms.ImageList(this.components); this.groupBox.SuspendLayout(); this.SuspendLayout(); // // treeView // this.treeView.Dock = System.Windows.Forms.DockStyle.Fill; this.treeView.ImageIndex = 0; this.treeView.ImageList = this.imageList; this.treeView.Location = new System.Drawing.Point(3, 16); this.treeView.Name = "treeView"; this.treeView.SelectedImageIndex = 0; this.treeView.ShowNodeToolTips = true; this.treeView.Size = new System.Drawing.Size(303, 261); this.treeView.TabIndex = 0; this.treeView.NodeMouseDoubleClick += new System.Windows.Forms.TreeNodeMouseClickEventHandler(this.treeView_NodeMouseDoubleClick); // // groupBox // this.groupBox.Controls.Add(this.treeView); this.groupBox.Dock = System.Windows.Forms.DockStyle.Fill; this.groupBox.Location = new System.Drawing.Point(0, 0); this.groupBox.Name = "groupBox"; this.groupBox.Size = new System.Drawing.Size(309, 280); this.groupBox.TabIndex = 1; this.groupBox.TabStop = false; this.groupBox.Text = "Execution Stack"; // // imageList // this.imageList.ColorDepth = System.Windows.Forms.ColorDepth.Depth8Bit; this.imageList.ImageSize = new System.Drawing.Size(16, 16); this.imageList.TransparentColor = System.Drawing.Color.Transparent; // // ExecutionStackView // this.AutoScaleDimensions = new System.Drawing.SizeF(6F, 13F); this.AutoScaleMode = System.Windows.Forms.AutoScaleMode.Font; this.Controls.Add(this.groupBox); this.Name = "ExecutionStackView"; this.Size = new System.Drawing.Size(309, 280); this.groupBox.ResumeLayout(false); this.ResumeLayout(false); } #endregion private System.Windows.Forms.TreeView treeView; private System.Windows.Forms.GroupBox groupBox; private System.Windows.Forms.ImageList imageList; } }