Free cookie consent management tool by TermsFeed Policy Generator

source: branches/HeuristicLab.DebugEngine/OperationContentView.Designer.cs @ 4945

Last change on this file since 4945 was 4909, checked in by epitzer, 14 years ago

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 size: 14.6 KB
Line 
1namespace HeuristicLab.DebugEngine {
2  partial class OperationContentView {
3    /// <summary>
4    /// Required designer variable.
5    /// </summary>
6    private System.ComponentModel.IContainer components = null;
7
8    /// <summary>
9    /// Clean up any resources being used.
10    /// </summary>
11    /// <param name="disposing">true if managed resources should be disposed; otherwise, false.</param>
12    protected override void Dispose(bool disposing) {
13      if (disposing && (components != null)) {
14        components.Dispose();
15      }
16      base.Dispose(disposing);
17    }
18
19    #region Component Designer generated code
20
21    /// <summary>
22    /// Required method for Designer support - do not modify
23    /// the contents of this method with the code editor.
24    /// </summary>
25    private void InitializeComponent() {
26      this.components = new System.ComponentModel.Container();
27      this.groupBox = new System.Windows.Forms.GroupBox();
28      this.splitContainer1 = new System.Windows.Forms.SplitContainer();
29      this.splitContainer2 = new System.Windows.Forms.SplitContainer();
30      this.executionContextGroupBox = new System.Windows.Forms.GroupBox();
31      this.executionContextTreeView = new System.Windows.Forms.TreeView();
32      this.parametersGroupBox = new System.Windows.Forms.GroupBox();
33      this.parameterListView = new System.Windows.Forms.ListView();
34      this.scopeGroupBox = new System.Windows.Forms.GroupBox();
35      this.scopeTreeView = new System.Windows.Forms.TreeView();
36      this.nameTextBox = new System.Windows.Forms.TextBox();
37      this.contextLabel = new System.Windows.Forms.Label();
38      this.atomicLabel = new System.Windows.Forms.Label();
39      this.collectionLabel = new System.Windows.Forms.Label();
40      this.timer = new System.Windows.Forms.Timer(this.components);
41      this.executionContextImageList = new System.Windows.Forms.ImageList(this.components);
42      this.parametersImageList = new System.Windows.Forms.ImageList(this.components);
43      this.scopeImageList = new System.Windows.Forms.ImageList(this.components);
44      this.parameterColumn = ((System.Windows.Forms.ColumnHeader)(new System.Windows.Forms.ColumnHeader()));
45      this.groupBox.SuspendLayout();
46      this.splitContainer1.Panel1.SuspendLayout();
47      this.splitContainer1.Panel2.SuspendLayout();
48      this.splitContainer1.SuspendLayout();
49      this.splitContainer2.Panel1.SuspendLayout();
50      this.splitContainer2.Panel2.SuspendLayout();
51      this.splitContainer2.SuspendLayout();
52      this.executionContextGroupBox.SuspendLayout();
53      this.parametersGroupBox.SuspendLayout();
54      this.scopeGroupBox.SuspendLayout();
55      this.SuspendLayout();
56      //
57      // groupBox
58      //
59      this.groupBox.Controls.Add(this.splitContainer1);
60      this.groupBox.Controls.Add(this.nameTextBox);
61      this.groupBox.Controls.Add(this.contextLabel);
62      this.groupBox.Controls.Add(this.atomicLabel);
63      this.groupBox.Controls.Add(this.collectionLabel);
64      this.groupBox.Dock = System.Windows.Forms.DockStyle.Fill;
65      this.groupBox.Location = new System.Drawing.Point(0, 0);
66      this.groupBox.Name = "groupBox";
67      this.groupBox.Size = new System.Drawing.Size(563, 412);
68      this.groupBox.TabIndex = 0;
69      this.groupBox.TabStop = false;
70      this.groupBox.Text = "Operation";
71      //
72      // splitContainer1
73      //
74      this.splitContainer1.Anchor = ((System.Windows.Forms.AnchorStyles)((((System.Windows.Forms.AnchorStyles.Top | System.Windows.Forms.AnchorStyles.Bottom)
75                  | System.Windows.Forms.AnchorStyles.Left)
76                  | System.Windows.Forms.AnchorStyles.Right)));
77      this.splitContainer1.Location = new System.Drawing.Point(6, 45);
78      this.splitContainer1.Name = "splitContainer1";
79      //
80      // splitContainer1.Panel1
81      //
82      this.splitContainer1.Panel1.Controls.Add(this.splitContainer2);
83      //
84      // splitContainer1.Panel2
85      //
86      this.splitContainer1.Panel2.Controls.Add(this.scopeGroupBox);
87      this.splitContainer1.Size = new System.Drawing.Size(551, 361);
88      this.splitContainer1.SplitterDistance = 242;
89      this.splitContainer1.TabIndex = 4;
90      //
91      // splitContainer2
92      //
93      this.splitContainer2.Dock = System.Windows.Forms.DockStyle.Fill;
94      this.splitContainer2.Location = new System.Drawing.Point(0, 0);
95      this.splitContainer2.Name = "splitContainer2";
96      this.splitContainer2.Orientation = System.Windows.Forms.Orientation.Horizontal;
97      //
98      // splitContainer2.Panel1
99      //
100      this.splitContainer2.Panel1.Controls.Add(this.executionContextGroupBox);
101      //
102      // splitContainer2.Panel2
103      //
104      this.splitContainer2.Panel2.Controls.Add(this.parametersGroupBox);
105      this.splitContainer2.Size = new System.Drawing.Size(242, 361);
106      this.splitContainer2.SplitterDistance = 180;
107      this.splitContainer2.TabIndex = 1;
108      //
109      // executionContextGroupBox
110      //
111      this.executionContextGroupBox.Controls.Add(this.executionContextTreeView);
112      this.executionContextGroupBox.Dock = System.Windows.Forms.DockStyle.Fill;
113      this.executionContextGroupBox.Location = new System.Drawing.Point(0, 0);
114      this.executionContextGroupBox.Name = "executionContextGroupBox";
115      this.executionContextGroupBox.Size = new System.Drawing.Size(242, 180);
116      this.executionContextGroupBox.TabIndex = 0;
117      this.executionContextGroupBox.TabStop = false;
118      this.executionContextGroupBox.Text = "Execution Context";
119      //
120      // executionContextTreeView
121      //
122      this.executionContextTreeView.Dock = System.Windows.Forms.DockStyle.Fill;
123      this.executionContextTreeView.ImageIndex = 0;
124      this.executionContextTreeView.ImageList = this.executionContextImageList;
125      this.executionContextTreeView.Location = new System.Drawing.Point(3, 16);
126      this.executionContextTreeView.Name = "executionContextTreeView";
127      this.executionContextTreeView.SelectedImageIndex = 0;
128      this.executionContextTreeView.ShowNodeToolTips = true;
129      this.executionContextTreeView.Size = new System.Drawing.Size(236, 161);
130      this.executionContextTreeView.TabIndex = 0;
131      this.executionContextTreeView.NodeMouseClick += new System.Windows.Forms.TreeNodeMouseClickEventHandler(this.executionContextTreeView_NodeMouseClick);
132      this.executionContextTreeView.NodeMouseDoubleClick += new System.Windows.Forms.TreeNodeMouseClickEventHandler(this.executionContextTreeView_NodeMouseDoubleClick);
133      //
134      // parametersGroupBox
135      //
136      this.parametersGroupBox.Controls.Add(this.parameterListView);
137      this.parametersGroupBox.Dock = System.Windows.Forms.DockStyle.Fill;
138      this.parametersGroupBox.Location = new System.Drawing.Point(0, 0);
139      this.parametersGroupBox.Name = "parametersGroupBox";
140      this.parametersGroupBox.Size = new System.Drawing.Size(242, 177);
141      this.parametersGroupBox.TabIndex = 0;
142      this.parametersGroupBox.TabStop = false;
143      this.parametersGroupBox.Text = "Parameters";
144      //
145      // parameterListView
146      //
147      this.parameterListView.Columns.AddRange(new System.Windows.Forms.ColumnHeader[] {
148            this.parameterColumn});
149      this.parameterListView.Dock = System.Windows.Forms.DockStyle.Fill;
150      this.parameterListView.HeaderStyle = System.Windows.Forms.ColumnHeaderStyle.None;
151      this.parameterListView.HideSelection = false;
152      this.parameterListView.Location = new System.Drawing.Point(3, 16);
153      this.parameterListView.Name = "parameterListView";
154      this.parameterListView.ShowItemToolTips = true;
155      this.parameterListView.Size = new System.Drawing.Size(236, 158);
156      this.parameterListView.SmallImageList = this.parametersImageList;
157      this.parameterListView.TabIndex = 0;
158      this.parameterListView.UseCompatibleStateImageBehavior = false;
159      this.parameterListView.View = System.Windows.Forms.View.Details;
160      this.parameterListView.ItemActivate += new System.EventHandler(this.parameterListView_ItemActivate);
161      //
162      // scopeGroupBox
163      //
164      this.scopeGroupBox.Controls.Add(this.scopeTreeView);
165      this.scopeGroupBox.Dock = System.Windows.Forms.DockStyle.Fill;
166      this.scopeGroupBox.Location = new System.Drawing.Point(0, 0);
167      this.scopeGroupBox.Name = "scopeGroupBox";
168      this.scopeGroupBox.Size = new System.Drawing.Size(305, 361);
169      this.scopeGroupBox.TabIndex = 1;
170      this.scopeGroupBox.TabStop = false;
171      this.scopeGroupBox.Text = "Scope";
172      //
173      // scopeTreeView
174      //
175      this.scopeTreeView.Dock = System.Windows.Forms.DockStyle.Fill;
176      this.scopeTreeView.ImageIndex = 0;
177      this.scopeTreeView.ImageList = this.scopeImageList;
178      this.scopeTreeView.Location = new System.Drawing.Point(3, 16);
179      this.scopeTreeView.Name = "scopeTreeView";
180      this.scopeTreeView.SelectedImageIndex = 0;
181      this.scopeTreeView.ShowNodeToolTips = true;
182      this.scopeTreeView.Size = new System.Drawing.Size(299, 342);
183      this.scopeTreeView.TabIndex = 0;
184      this.scopeTreeView.NodeMouseDoubleClick += new System.Windows.Forms.TreeNodeMouseClickEventHandler(this.scopeTreeView_NodeMouseDoubleClick);
185      //
186      // nameTextBox
187      //
188      this.nameTextBox.Anchor = ((System.Windows.Forms.AnchorStyles)(((System.Windows.Forms.AnchorStyles.Top | System.Windows.Forms.AnchorStyles.Left)
189                  | System.Windows.Forms.AnchorStyles.Right)));
190      this.nameTextBox.Cursor = System.Windows.Forms.Cursors.Default;
191      this.nameTextBox.Location = new System.Drawing.Point(6, 19);
192      this.nameTextBox.Name = "nameTextBox";
193      this.nameTextBox.ReadOnly = true;
194      this.nameTextBox.Size = new System.Drawing.Size(395, 20);
195      this.nameTextBox.TabIndex = 3;
196      this.nameTextBox.DoubleClick += new System.EventHandler(this.nameTextBox_DoubleClick);
197      //
198      // contextLabel
199      //
200      this.contextLabel.Anchor = ((System.Windows.Forms.AnchorStyles)((System.Windows.Forms.AnchorStyles.Top | System.Windows.Forms.AnchorStyles.Right)));
201      this.contextLabel.AutoSize = true;
202      this.contextLabel.ForeColor = System.Drawing.SystemColors.ControlDark;
203      this.contextLabel.Location = new System.Drawing.Point(407, 22);
204      this.contextLabel.Name = "contextLabel";
205      this.contextLabel.Size = new System.Drawing.Size(43, 13);
206      this.contextLabel.TabIndex = 2;
207      this.contextLabel.Text = "Context";
208      //
209      // atomicLabel
210      //
211      this.atomicLabel.Anchor = ((System.Windows.Forms.AnchorStyles)((System.Windows.Forms.AnchorStyles.Top | System.Windows.Forms.AnchorStyles.Right)));
212      this.atomicLabel.AutoSize = true;
213      this.atomicLabel.ForeColor = System.Drawing.SystemColors.ControlDark;
214      this.atomicLabel.Location = new System.Drawing.Point(456, 22);
215      this.atomicLabel.Name = "atomicLabel";
216      this.atomicLabel.Size = new System.Drawing.Size(39, 13);
217      this.atomicLabel.TabIndex = 1;
218      this.atomicLabel.Text = "Atomic";
219      //
220      // collectionLabel
221      //
222      this.collectionLabel.Anchor = ((System.Windows.Forms.AnchorStyles)((System.Windows.Forms.AnchorStyles.Top | System.Windows.Forms.AnchorStyles.Right)));
223      this.collectionLabel.AutoSize = true;
224      this.collectionLabel.ForeColor = System.Drawing.SystemColors.ControlDark;
225      this.collectionLabel.Location = new System.Drawing.Point(501, 22);
226      this.collectionLabel.Name = "collectionLabel";
227      this.collectionLabel.Size = new System.Drawing.Size(53, 13);
228      this.collectionLabel.TabIndex = 0;
229      this.collectionLabel.Text = "Collection";
230      //
231      // timer
232      //
233      this.timer.Interval = 500;
234      this.timer.Tick += new System.EventHandler(this.timer_Tick);
235      //
236      // executionContextImageList
237      //
238      this.executionContextImageList.ColorDepth = System.Windows.Forms.ColorDepth.Depth8Bit;
239      this.executionContextImageList.ImageSize = new System.Drawing.Size(16, 16);
240      this.executionContextImageList.TransparentColor = System.Drawing.Color.Transparent;
241      //
242      // parametersImageList
243      //
244      this.parametersImageList.ColorDepth = System.Windows.Forms.ColorDepth.Depth8Bit;
245      this.parametersImageList.ImageSize = new System.Drawing.Size(16, 16);
246      this.parametersImageList.TransparentColor = System.Drawing.Color.Transparent;
247      //
248      // scopeImageList
249      //
250      this.scopeImageList.ColorDepth = System.Windows.Forms.ColorDepth.Depth8Bit;
251      this.scopeImageList.ImageSize = new System.Drawing.Size(16, 16);
252      this.scopeImageList.TransparentColor = System.Drawing.Color.Transparent;
253      //
254      // OperationContentView
255      //
256      this.AutoScaleDimensions = new System.Drawing.SizeF(6F, 13F);
257      this.AutoScaleMode = System.Windows.Forms.AutoScaleMode.Font;
258      this.Controls.Add(this.groupBox);
259      this.Name = "OperationContentView";
260      this.Size = new System.Drawing.Size(563, 412);
261      this.groupBox.ResumeLayout(false);
262      this.groupBox.PerformLayout();
263      this.splitContainer1.Panel1.ResumeLayout(false);
264      this.splitContainer1.Panel2.ResumeLayout(false);
265      this.splitContainer1.ResumeLayout(false);
266      this.splitContainer2.Panel1.ResumeLayout(false);
267      this.splitContainer2.Panel2.ResumeLayout(false);
268      this.splitContainer2.ResumeLayout(false);
269      this.executionContextGroupBox.ResumeLayout(false);
270      this.parametersGroupBox.ResumeLayout(false);
271      this.scopeGroupBox.ResumeLayout(false);
272      this.ResumeLayout(false);
273
274    }
275
276    #endregion
277
278    private System.Windows.Forms.GroupBox groupBox;
279    private System.Windows.Forms.TextBox nameTextBox;
280    private System.Windows.Forms.Label contextLabel;
281    private System.Windows.Forms.Label atomicLabel;
282    private System.Windows.Forms.Label collectionLabel;
283    private System.Windows.Forms.SplitContainer splitContainer1;
284    private System.Windows.Forms.ListView parameterListView;
285    private System.Windows.Forms.TreeView scopeTreeView;
286    private System.Windows.Forms.SplitContainer splitContainer2;
287    private System.Windows.Forms.GroupBox executionContextGroupBox;
288    private System.Windows.Forms.TreeView executionContextTreeView;
289    private System.Windows.Forms.GroupBox parametersGroupBox;
290    private System.Windows.Forms.GroupBox scopeGroupBox;
291    private System.Windows.Forms.Timer timer;
292    private System.Windows.Forms.ImageList executionContextImageList;
293    private System.Windows.Forms.ImageList parametersImageList;
294    private System.Windows.Forms.ImageList scopeImageList;
295    private System.Windows.Forms.ColumnHeader parameterColumn;
296  }
297}
Note: See TracBrowser for help on using the repository browser.