Changeset 5117 for trunk/sources/HeuristicLab.DebugEngine/3.3/DebugEngineView.Designer.cs

Timestamp:

12/16/10 17:57:47 (14 years ago)

Author:

epitzer

Message:

(#47)

• Disable detailed logging while not stepping for drastic reduction in log size
• Optionally disable operator trace for much faster execution and persistence (disabled by default)
• Initially enable stepping over stack operations

File:

• trunk/sources/HeuristicLab.DebugEngine/3.3/DebugEngineView.Designer.cs (modified) (3 diffs)

trunk/sources/HeuristicLab.DebugEngine/3.3/DebugEngineView.Designer.cs

@@ -77 +77 @@
       // executionStackView
       // 
-      this.executionStackView.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.executionStackView.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.executionStackView.Caption = "Execution Stack View";
       this.executionStackView.Content = null;
@@ -124 +124 @@
       this.skipStackOpsCheckBox.Anchor = ((System.Windows.Forms.AnchorStyles)((System.Windows.Forms.AnchorStyles.Bottom | System.Windows.Forms.AnchorStyles.Left)));
       this.skipStackOpsCheckBox.AutoSize = true;
+      this.skipStackOpsCheckBox.Checked = true;
+      this.skipStackOpsCheckBox.CheckState = System.Windows.Forms.CheckState.Checked;
       this.skipStackOpsCheckBox.Location = new System.Drawing.Point(63, 516);
       this.skipStackOpsCheckBox.Name = "skipStackOpsCheckBox";
@@ -146 +148 @@
       // splitContainer3
       // 
-      this.splitContainer3.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.splitContainer3.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.splitContainer3.Location = new System.Drawing.Point(0, 0);
       this.splitContainer3.Name = "splitContainer3";