Changeset 4909 for branches/HeuristicLab.DebugEngine/OperationContentView.Designer.cs

Timestamp:

11/23/10 15:03:01 (14 years ago)

Author:

epitzer

Message:

Several GUI improvements (#47)

• add icons and tool tips
• add support for suspending the operator trace view
• faster skipping of stack-only operations
• remove log view and execution time view

File:

• branches/HeuristicLab.DebugEngine/OperationContentView.Designer.cs (modified) (6 diffs)

branches/HeuristicLab.DebugEngine/OperationContentView.Designer.cs

@@ -39 +39 @@
       this.collectionLabel = new System.Windows.Forms.Label();
       this.timer = new System.Windows.Forms.Timer(this.components);
+      this.executionContextImageList = new System.Windows.Forms.ImageList(this.components);
+      this.parametersImageList = new System.Windows.Forms.ImageList(this.components);
+      this.scopeImageList = new System.Windows.Forms.ImageList(this.components);
+      this.parameterColumn = ((System.Windows.Forms.ColumnHeader)(new System.Windows.Forms.ColumnHeader()));
       this.groupBox.SuspendLayout();
       this.splitContainer1.Panel1.SuspendLayout();
@@ -117 +121 @@
       // 
       this.executionContextTreeView.Dock = System.Windows.Forms.DockStyle.Fill;
+      this.executionContextTreeView.ImageIndex = 0;
+      this.executionContextTreeView.ImageList = this.executionContextImageList;
       this.executionContextTreeView.Location = new System.Drawing.Point(3, 16);
       this.executionContextTreeView.Name = "executionContextTreeView";
+      this.executionContextTreeView.SelectedImageIndex = 0;
+      this.executionContextTreeView.ShowNodeToolTips = true;
       this.executionContextTreeView.Size = new System.Drawing.Size(236, 161);
       this.executionContextTreeView.TabIndex = 0;
@@ -137 +145 @@
       // parameterListView
       // 
+      this.parameterListView.Columns.AddRange(new System.Windows.Forms.ColumnHeader[] {
+            this.parameterColumn});
       this.parameterListView.Dock = System.Windows.Forms.DockStyle.Fill;
-      this.parameterListView.FullRowSelect = true;
+      this.parameterListView.HeaderStyle = System.Windows.Forms.ColumnHeaderStyle.None;
+      this.parameterListView.HideSelection = false;
       this.parameterListView.Location = new System.Drawing.Point(3, 16);
       this.parameterListView.Name = "parameterListView";
+      this.parameterListView.ShowItemToolTips = true;
       this.parameterListView.Size = new System.Drawing.Size(236, 158);
+      this.parameterListView.SmallImageList = this.parametersImageList;
       this.parameterListView.TabIndex = 0;
       this.parameterListView.UseCompatibleStateImageBehavior = false;
-      this.parameterListView.View = System.Windows.Forms.View.List;
+      this.parameterListView.View = System.Windows.Forms.View.Details;
       this.parameterListView.ItemActivate += new System.EventHandler(this.parameterListView_ItemActivate);
       // 
@@ -161 +174 @@
       // 
       this.scopeTreeView.Dock = System.Windows.Forms.DockStyle.Fill;
+      this.scopeTreeView.ImageIndex = 0;
+      this.scopeTreeView.ImageList = this.scopeImageList;
       this.scopeTreeView.Location = new System.Drawing.Point(3, 16);
       this.scopeTreeView.Name = "scopeTreeView";
+      this.scopeTreeView.SelectedImageIndex = 0;
+      this.scopeTreeView.ShowNodeToolTips = true;
       this.scopeTreeView.Size = new System.Drawing.Size(299, 342);
       this.scopeTreeView.TabIndex = 0;
+      this.scopeTreeView.NodeMouseDoubleClick += new System.Windows.Forms.TreeNodeMouseClickEventHandler(this.scopeTreeView_NodeMouseDoubleClick);
       // 
       // nameTextBox
@@ -215 +233 @@
       this.timer.Interval = 500;
       this.timer.Tick += new System.EventHandler(this.timer_Tick);
+      // 
+      // executionContextImageList
+      // 
+      this.executionContextImageList.ColorDepth = System.Windows.Forms.ColorDepth.Depth8Bit;
+      this.executionContextImageList.ImageSize = new System.Drawing.Size(16, 16);
+      this.executionContextImageList.TransparentColor = System.Drawing.Color.Transparent;
+      // 
+      // parametersImageList
+      // 
+      this.parametersImageList.ColorDepth = System.Windows.Forms.ColorDepth.Depth8Bit;
+      this.parametersImageList.ImageSize = new System.Drawing.Size(16, 16);
+      this.parametersImageList.TransparentColor = System.Drawing.Color.Transparent;
+      // 
+      // scopeImageList
+      // 
+      this.scopeImageList.ColorDepth = System.Windows.Forms.ColorDepth.Depth8Bit;
+      this.scopeImageList.ImageSize = new System.Drawing.Size(16, 16);
+      this.scopeImageList.TransparentColor = System.Drawing.Color.Transparent;
       // 
       // OperationContentView
@@ -254 +290 @@
     private System.Windows.Forms.GroupBox scopeGroupBox;
     private System.Windows.Forms.Timer timer;
+    private System.Windows.Forms.ImageList executionContextImageList;
+    private System.Windows.Forms.ImageList parametersImageList;
+    private System.Windows.Forms.ImageList scopeImageList;
+    private System.Windows.Forms.ColumnHeader parameterColumn;
   }
 }