namespace HeuristicLab.DebugEngine {
  partial class OperatorTraceView {
    /// <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.operatorTraceGroupBox = new System.Windows.Forms.GroupBox();
      this.listView = new System.Windows.Forms.ListView();
      this.operatorTraceGroupBox.SuspendLayout();
      this.SuspendLayout();
      // 
      // operatorTraceGroupBox
      // 
      this.operatorTraceGroupBox.Controls.Add(this.listView);
      this.operatorTraceGroupBox.Dock = System.Windows.Forms.DockStyle.Fill;
      this.operatorTraceGroupBox.Location = new System.Drawing.Point(0, 0);
      this.operatorTraceGroupBox.Name = "operatorTraceGroupBox";
      this.operatorTraceGroupBox.Size = new System.Drawing.Size(515, 405);
      this.operatorTraceGroupBox.TabIndex = 0;
      this.operatorTraceGroupBox.TabStop = false;
      this.operatorTraceGroupBox.Text = "Operator Trace";
      // 
      // listView
      // 
      this.listView.Dock = System.Windows.Forms.DockStyle.Fill;
      this.listView.FullRowSelect = true;
      this.listView.Location = new System.Drawing.Point(3, 16);
      this.listView.Name = "listView";
      this.listView.Size = new System.Drawing.Size(509, 386);
      this.listView.TabIndex = 0;
      this.listView.UseCompatibleStateImageBehavior = false;
      this.listView.View = System.Windows.Forms.View.List;
      this.listView.ItemActivate += new System.EventHandler(this.listView_ItemActivate);
      // 
      // OperatorTraceView
      // 
      this.AutoScaleDimensions = new System.Drawing.SizeF(6F, 13F);
      this.AutoScaleMode = System.Windows.Forms.AutoScaleMode.Font;
      this.Controls.Add(this.operatorTraceGroupBox);
      this.Name = "OperatorTraceView";
      this.Size = new System.Drawing.Size(515, 405);
      this.operatorTraceGroupBox.ResumeLayout(false);
      this.ResumeLayout(false);

    }

    #endregion

    private System.Windows.Forms.GroupBox operatorTraceGroupBox;
    private System.Windows.Forms.ListView listView;
  }
}