source: branches/HeuristicLab.DebugEngine/ExecutionStackView.Designer.cs @ 4871

namespace HeuristicLab.DebugEngine {
  partial class ExecutionStackView {
    /// <summary> 
    /// Required designer variable.
    /// </summary>
    private System.ComponentModel.IContainer components = null;

    /// <summary> 
    /// Clean up any resources being used.
    /// </summary>
    /// <param name="disposing">true if managed resources should be disposed; otherwise, false.</param>
    protected override void Dispose(bool disposing) {
      if (disposing && (components != null)) {
        components.Dispose();
      }
      base.Dispose(disposing);
    }

    #region Component Designer generated code

    /// <summary> 
    /// Required method for Designer support - do not modify 
    /// the contents of this method with the code editor.
    /// </summary>
    private void InitializeComponent() {
      this.treeView = new System.Windows.Forms.TreeView();
      this.groupBox = new System.Windows.Forms.GroupBox();
      this.groupBox.SuspendLayout();
      this.SuspendLayout();
      // 
      // treeView
      // 
      this.treeView.Dock = System.Windows.Forms.DockStyle.Fill;
      this.treeView.Location = new System.Drawing.Point(3, 16);
      this.treeView.Name = "treeView";
      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";
      // 
      // 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;
  }
}