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;
}
}