Index: branches/HeuristicLab.DebugEngine/OperationContentView.Designer.cs
===================================================================
--- branches/HeuristicLab.DebugEngine/OperationContentView.Designer.cs	(revision 4876)
+++ branches/HeuristicLab.DebugEngine/OperationContentView.Designer.cs	(revision 4903)
@@ -27,5 +27,10 @@
       this.groupBox = new System.Windows.Forms.GroupBox();
       this.splitContainer1 = new System.Windows.Forms.SplitContainer();
+      this.splitContainer2 = new System.Windows.Forms.SplitContainer();
+      this.executionContextGroupBox = new System.Windows.Forms.GroupBox();
+      this.executionContextTreeView = new System.Windows.Forms.TreeView();
+      this.parametersGroupBox = new System.Windows.Forms.GroupBox();
       this.parameterListView = new System.Windows.Forms.ListView();
+      this.scopeGroupBox = new System.Windows.Forms.GroupBox();
       this.scopeTreeView = new System.Windows.Forms.TreeView();
       this.nameTextBox = new System.Windows.Forms.TextBox();
@@ -33,9 +38,4 @@
       this.atomicLabel = new System.Windows.Forms.Label();
       this.collectionLabel = new System.Windows.Forms.Label();
-      this.splitContainer2 = new System.Windows.Forms.SplitContainer();
-      this.parametersGroupBox = new System.Windows.Forms.GroupBox();
-      this.executionContextGroupBox = new System.Windows.Forms.GroupBox();
-      this.scopeGroupBox = new System.Windows.Forms.GroupBox();
-      this.executionContextTreeView = new System.Windows.Forms.TreeView();
       this.timer = new System.Windows.Forms.Timer(this.components);
       this.groupBox.SuspendLayout();
@@ -46,6 +46,6 @@
       this.splitContainer2.Panel2.SuspendLayout();
       this.splitContainer2.SuspendLayout();
+      this.executionContextGroupBox.SuspendLayout();
       this.parametersGroupBox.SuspendLayout();
-      this.executionContextGroupBox.SuspendLayout();
       this.scopeGroupBox.SuspendLayout();
       this.SuspendLayout();
@@ -85,4 +85,54 @@
       this.splitContainer1.TabIndex = 4;
       // 
+      // splitContainer2
+      // 
+      this.splitContainer2.Dock = System.Windows.Forms.DockStyle.Fill;
+      this.splitContainer2.Location = new System.Drawing.Point(0, 0);
+      this.splitContainer2.Name = "splitContainer2";
+      this.splitContainer2.Orientation = System.Windows.Forms.Orientation.Horizontal;
+      // 
+      // splitContainer2.Panel1
+      // 
+      this.splitContainer2.Panel1.Controls.Add(this.executionContextGroupBox);
+      // 
+      // splitContainer2.Panel2
+      // 
+      this.splitContainer2.Panel2.Controls.Add(this.parametersGroupBox);
+      this.splitContainer2.Size = new System.Drawing.Size(242, 361);
+      this.splitContainer2.SplitterDistance = 180;
+      this.splitContainer2.TabIndex = 1;
+      // 
+      // executionContextGroupBox
+      // 
+      this.executionContextGroupBox.Controls.Add(this.executionContextTreeView);
+      this.executionContextGroupBox.Dock = System.Windows.Forms.DockStyle.Fill;
+      this.executionContextGroupBox.Location = new System.Drawing.Point(0, 0);
+      this.executionContextGroupBox.Name = "executionContextGroupBox";
+      this.executionContextGroupBox.Size = new System.Drawing.Size(242, 180);
+      this.executionContextGroupBox.TabIndex = 0;
+      this.executionContextGroupBox.TabStop = false;
+      this.executionContextGroupBox.Text = "Execution Context";
+      // 
+      // executionContextTreeView
+      // 
+      this.executionContextTreeView.Dock = System.Windows.Forms.DockStyle.Fill;
+      this.executionContextTreeView.Location = new System.Drawing.Point(3, 16);
+      this.executionContextTreeView.Name = "executionContextTreeView";
+      this.executionContextTreeView.Size = new System.Drawing.Size(236, 161);
+      this.executionContextTreeView.TabIndex = 0;
+      this.executionContextTreeView.NodeMouseClick += new System.Windows.Forms.TreeNodeMouseClickEventHandler(this.executionContextTreeView_NodeMouseClick);
+      this.executionContextTreeView.NodeMouseDoubleClick += new System.Windows.Forms.TreeNodeMouseClickEventHandler(this.executionContextTreeView_NodeMouseDoubleClick);
+      // 
+      // parametersGroupBox
+      // 
+      this.parametersGroupBox.Controls.Add(this.parameterListView);
+      this.parametersGroupBox.Dock = System.Windows.Forms.DockStyle.Fill;
+      this.parametersGroupBox.Location = new System.Drawing.Point(0, 0);
+      this.parametersGroupBox.Name = "parametersGroupBox";
+      this.parametersGroupBox.Size = new System.Drawing.Size(242, 177);
+      this.parametersGroupBox.TabIndex = 0;
+      this.parametersGroupBox.TabStop = false;
+      this.parametersGroupBox.Text = "Parameters";
+      // 
       // parameterListView
       // 
@@ -97,4 +147,15 @@
       this.parameterListView.ItemActivate += new System.EventHandler(this.parameterListView_ItemActivate);
       // 
+      // scopeGroupBox
+      // 
+      this.scopeGroupBox.Controls.Add(this.scopeTreeView);
+      this.scopeGroupBox.Dock = System.Windows.Forms.DockStyle.Fill;
+      this.scopeGroupBox.Location = new System.Drawing.Point(0, 0);
+      this.scopeGroupBox.Name = "scopeGroupBox";
+      this.scopeGroupBox.Size = new System.Drawing.Size(305, 361);
+      this.scopeGroupBox.TabIndex = 1;
+      this.scopeGroupBox.TabStop = false;
+      this.scopeGroupBox.Text = "Scope";
+      // 
       // scopeTreeView
       // 
@@ -109,4 +170,5 @@
       this.nameTextBox.Anchor = ((System.Windows.Forms.AnchorStyles)(((System.Windows.Forms.AnchorStyles.Top | System.Windows.Forms.AnchorStyles.Left)
                   | System.Windows.Forms.AnchorStyles.Right)));
+      this.nameTextBox.Cursor = System.Windows.Forms.Cursors.Default;
       this.nameTextBox.Location = new System.Drawing.Point(6, 19);
       this.nameTextBox.Name = "nameTextBox";
@@ -114,4 +176,5 @@
       this.nameTextBox.Size = new System.Drawing.Size(395, 20);
       this.nameTextBox.TabIndex = 3;
+      this.nameTextBox.DoubleClick += new System.EventHandler(this.nameTextBox_DoubleClick);
       // 
       // contextLabel
@@ -147,65 +210,4 @@
       this.collectionLabel.TabIndex = 0;
       this.collectionLabel.Text = "Collection";
-      // 
-      // splitContainer2
-      // 
-      this.splitContainer2.Dock = System.Windows.Forms.DockStyle.Fill;
-      this.splitContainer2.Location = new System.Drawing.Point(0, 0);
-      this.splitContainer2.Name = "splitContainer2";
-      this.splitContainer2.Orientation = System.Windows.Forms.Orientation.Horizontal;
-      // 
-      // splitContainer2.Panel1
-      // 
-      this.splitContainer2.Panel1.Controls.Add(this.executionContextGroupBox);
-      // 
-      // splitContainer2.Panel2
-      // 
-      this.splitContainer2.Panel2.Controls.Add(this.parametersGroupBox);
-      this.splitContainer2.Size = new System.Drawing.Size(242, 361);
-      this.splitContainer2.SplitterDistance = 180;
-      this.splitContainer2.TabIndex = 1;
-      // 
-      // parametersGroupBox
-      // 
-      this.parametersGroupBox.Controls.Add(this.parameterListView);
-      this.parametersGroupBox.Dock = System.Windows.Forms.DockStyle.Fill;
-      this.parametersGroupBox.Location = new System.Drawing.Point(0, 0);
-      this.parametersGroupBox.Name = "parametersGroupBox";
-      this.parametersGroupBox.Size = new System.Drawing.Size(242, 177);
-      this.parametersGroupBox.TabIndex = 0;
-      this.parametersGroupBox.TabStop = false;
-      this.parametersGroupBox.Text = "Parameters";
-      // 
-      // executionContextGroupBox
-      // 
-      this.executionContextGroupBox.Controls.Add(this.executionContextTreeView);
-      this.executionContextGroupBox.Dock = System.Windows.Forms.DockStyle.Fill;
-      this.executionContextGroupBox.Location = new System.Drawing.Point(0, 0);
-      this.executionContextGroupBox.Name = "executionContextGroupBox";
-      this.executionContextGroupBox.Size = new System.Drawing.Size(242, 180);
-      this.executionContextGroupBox.TabIndex = 0;
-      this.executionContextGroupBox.TabStop = false;
-      this.executionContextGroupBox.Text = "Execution Context";
-      // 
-      // scopeGroupBox
-      // 
-      this.scopeGroupBox.Controls.Add(this.scopeTreeView);
-      this.scopeGroupBox.Dock = System.Windows.Forms.DockStyle.Fill;
-      this.scopeGroupBox.Location = new System.Drawing.Point(0, 0);
-      this.scopeGroupBox.Name = "scopeGroupBox";
-      this.scopeGroupBox.Size = new System.Drawing.Size(305, 361);
-      this.scopeGroupBox.TabIndex = 1;
-      this.scopeGroupBox.TabStop = false;
-      this.scopeGroupBox.Text = "Scope";
-      // 
-      // executionContextTreeView
-      // 
-      this.executionContextTreeView.Dock = System.Windows.Forms.DockStyle.Fill;
-      this.executionContextTreeView.Location = new System.Drawing.Point(3, 16);
-      this.executionContextTreeView.Name = "executionContextTreeView";
-      this.executionContextTreeView.Size = new System.Drawing.Size(236, 161);
-      this.executionContextTreeView.TabIndex = 0;
-      this.executionContextTreeView.NodeMouseClick += new System.Windows.Forms.TreeNodeMouseClickEventHandler(this.executionContextTreeView_NodeMouseClick);
-      this.executionContextTreeView.NodeMouseDoubleClick += new System.Windows.Forms.TreeNodeMouseClickEventHandler(this.executionContextTreeView_NodeMouseDoubleClick);
       // 
       // timer
@@ -229,6 +231,6 @@
       this.splitContainer2.Panel2.ResumeLayout(false);
       this.splitContainer2.ResumeLayout(false);
+      this.executionContextGroupBox.ResumeLayout(false);
       this.parametersGroupBox.ResumeLayout(false);
-      this.executionContextGroupBox.ResumeLayout(false);
       this.scopeGroupBox.ResumeLayout(false);
       this.ResumeLayout(false);
