source: branches/HeuristicLab.DebugEngine/DebugEngineView.Designer.cs @ 4744

namespace HeuristicLab.DebugEngine {
  partial class DebugEngineView {
    /// <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 Windows Form 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() {
      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.splitContainer2 = new System.Windows.Forms.SplitContainer();
      this.executionStackTreeView = new System.Windows.Forms.TreeView();
      this.label2 = new System.Windows.Forms.Label();
      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.splitContainer1.Panel1.SuspendLayout();
      this.splitContainer1.Panel2.SuspendLayout();
      this.splitContainer1.SuspendLayout();
      this.splitContainer2.Panel1.SuspendLayout();
      this.splitContainer2.Panel2.SuspendLayout();
      this.splitContainer2.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(366, 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(515, 175);
      this.logView.TabIndex = 2;
      // 
      // splitContainer1
      // 
      this.splitContainer1.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.splitContainer1.Location = new System.Drawing.Point(3, 32);
      this.splitContainer1.Name = "splitContainer1";
      this.splitContainer1.Orientation = System.Windows.Forms.Orientation.Horizontal;
      // 
      // splitContainer1.Panel1
      // 
      this.splitContainer1.Panel1.Controls.Add(this.splitContainer2);
      // 
      // splitContainer1.Panel2
      // 
      this.splitContainer1.Panel2.Controls.Add(this.logView);
      this.splitContainer1.Size = new System.Drawing.Size(515, 341);
      this.splitContainer1.SplitterDistance = 162;
      this.splitContainer1.TabIndex = 3;
      // 
      // splitContainer2
      // 
      this.splitContainer2.Dock = System.Windows.Forms.DockStyle.Fill;
      this.splitContainer2.Location = new System.Drawing.Point(0, 0);
      this.splitContainer2.Name = "splitContainer2";
      // 
      // splitContainer2.Panel1
      // 
      this.splitContainer2.Panel1.Controls.Add(this.executionStackTreeView);
      this.splitContainer2.Panel1.Controls.Add(this.label2);
      // 
      // splitContainer2.Panel2
      // 
      this.splitContainer2.Panel2.Controls.Add(this.label3);
      this.splitContainer2.Panel2.Controls.Add(this.scopeTreeView);
      this.splitContainer2.Size = new System.Drawing.Size(515, 162);
      this.splitContainer2.SplitterDistance = 258;
      this.splitContainer2.TabIndex = 0;
      // 
      // 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.Size = new System.Drawing.Size(252, 143);
      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";
      // 
      // 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.Size = new System.Drawing.Size(247, 143);
      this.scopeTreeView.TabIndex = 0;
      // 
      // 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(494, 3);
      this.stepButton.Name = "stepButton";
      this.stepButton.Size = new System.Drawing.Size(24, 24);
      this.stepButton.TabIndex = 4;
      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(464, 3);
      this.updateButton.Name = "updateButton";
      this.updateButton.Size = new System.Drawing.Size(24, 24);
      this.updateButton.TabIndex = 5;
      this.updateButton.UseVisualStyleBackColor = true;
      this.updateButton.Click += new System.EventHandler(this.updateButton_Click);
      // 
      // DebugEngineView
      // 
      this.AutoScaleDimensions = new System.Drawing.SizeF(6F, 13F);
      this.Controls.Add(this.updateButton);
      this.Controls.Add(this.stepButton);
      this.Controls.Add(this.splitContainer1);
      this.Controls.Add(this.executionTimeTextBox);
      this.Controls.Add(this.label1);
      this.Name = "DebugEngineView";
      this.Size = new System.Drawing.Size(521, 376);
      this.splitContainer1.Panel1.ResumeLayout(false);
      this.splitContainer1.Panel2.ResumeLayout(false);
      this.splitContainer1.ResumeLayout(false);
      this.splitContainer2.Panel1.ResumeLayout(false);
      this.splitContainer2.Panel1.PerformLayout();
      this.splitContainer2.Panel2.ResumeLayout(false);
      this.splitContainer2.Panel2.PerformLayout();
      this.splitContainer2.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;

  }
}