Free cookie consent management tool by TermsFeed Policy Generator

source: trunk/sources/HeuristicLab.DebugEngine/3.3/OperationContentView.Designer.cs @ 5138

Last change on this file since 5138 was 5116, checked in by epitzer, 14 years ago
  • fixed truncation of bold text in TreeView
  • changed "show actual value" initial caps
  • select node on right click
  • fixed margins
  • include actual name for parameters
  • remove unnecessary labels

(#47)

File size: 11.8 KB
RevLine 
[4998]1#region License Information
2/* HeuristicLab
3 * Copyright (C) 2002-2010 Heuristic and Evolutionary Algorithms Laboratory (HEAL)
4 *
5 * This file is part of HeuristicLab.
6 *
7 * HeuristicLab is free software: you can redistribute it and/or modify
8 * it under the terms of the GNU General Public License as published by
9 * the Free Software Foundation, either version 3 of the License, or
10 * (at your option) any later version.
11 *
12 * HeuristicLab is distributed in the hope that it will be useful,
13 * but WITHOUT ANY WARRANTY; without even the implied warranty of
14 * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
15 * GNU General Public License for more details.
16 *
17 * You should have received a copy of the GNU General Public License
18 * along with HeuristicLab. If not, see <http://www.gnu.org/licenses/>.
19 */
20#endregion
21
22namespace HeuristicLab.DebugEngine {
[4876]23  partial class OperationContentView {
24    /// <summary>
25    /// Required designer variable.
26    /// </summary>
27    private System.ComponentModel.IContainer components = null;
28
29    /// <summary>
30    /// Clean up any resources being used.
31    /// </summary>
32    /// <param name="disposing">true if managed resources should be disposed; otherwise, false.</param>
33    protected override void Dispose(bool disposing) {
34      if (disposing && (components != null)) {
35        components.Dispose();
36      }
37      base.Dispose(disposing);
38    }
39
40    #region Component Designer generated code
41
42    /// <summary>
43    /// Required method for Designer support - do not modify
44    /// the contents of this method with the code editor.
45    /// </summary>
46    private void InitializeComponent() {
47      this.components = new System.ComponentModel.Container();
48      this.groupBox = new System.Windows.Forms.GroupBox();
49      this.splitContainer1 = new System.Windows.Forms.SplitContainer();
[4903]50      this.executionContextGroupBox = new System.Windows.Forms.GroupBox();
51      this.executionContextTreeView = new System.Windows.Forms.TreeView();
[5116]52      this.executionContextConextMenu = new System.Windows.Forms.ContextMenuStrip(this.components);
53      this.showValueToolStripMenuItem = new System.Windows.Forms.ToolStripMenuItem();
[4993]54      this.executionContextImageList = new System.Windows.Forms.ImageList(this.components);
[4903]55      this.scopeGroupBox = new System.Windows.Forms.GroupBox();
[4876]56      this.scopeTreeView = new System.Windows.Forms.TreeView();
[4993]57      this.scopeImageList = new System.Windows.Forms.ImageList(this.components);
[4876]58      this.nameTextBox = new System.Windows.Forms.TextBox();
[5003]59      this.parametersImageList = new System.Windows.Forms.ImageList(this.components);
[4876]60      this.groupBox.SuspendLayout();
61      this.splitContainer1.Panel1.SuspendLayout();
62      this.splitContainer1.Panel2.SuspendLayout();
63      this.splitContainer1.SuspendLayout();
[4903]64      this.executionContextGroupBox.SuspendLayout();
[5116]65      this.executionContextConextMenu.SuspendLayout();
[4876]66      this.scopeGroupBox.SuspendLayout();
67      this.SuspendLayout();
68      //
69      // groupBox
70      //
71      this.groupBox.Controls.Add(this.splitContainer1);
72      this.groupBox.Controls.Add(this.nameTextBox);
73      this.groupBox.Dock = System.Windows.Forms.DockStyle.Fill;
74      this.groupBox.Location = new System.Drawing.Point(0, 0);
75      this.groupBox.Name = "groupBox";
76      this.groupBox.Size = new System.Drawing.Size(563, 412);
77      this.groupBox.TabIndex = 0;
78      this.groupBox.TabStop = false;
79      this.groupBox.Text = "Operation";
80      //
81      // splitContainer1
82      //
[5003]83      this.splitContainer1.Anchor = ((System.Windows.Forms.AnchorStyles)((((System.Windows.Forms.AnchorStyles.Top | System.Windows.Forms.AnchorStyles.Bottom)
84            | System.Windows.Forms.AnchorStyles.Left)
85            | System.Windows.Forms.AnchorStyles.Right)));
[4876]86      this.splitContainer1.Location = new System.Drawing.Point(6, 45);
87      this.splitContainer1.Name = "splitContainer1";
88      //
89      // splitContainer1.Panel1
90      //
[5003]91      this.splitContainer1.Panel1.Controls.Add(this.executionContextGroupBox);
[4876]92      //
93      // splitContainer1.Panel2
94      //
95      this.splitContainer1.Panel2.Controls.Add(this.scopeGroupBox);
96      this.splitContainer1.Size = new System.Drawing.Size(551, 361);
97      this.splitContainer1.SplitterDistance = 242;
98      this.splitContainer1.TabIndex = 4;
99      //
[4903]100      // executionContextGroupBox
101      //
102      this.executionContextGroupBox.Controls.Add(this.executionContextTreeView);
103      this.executionContextGroupBox.Dock = System.Windows.Forms.DockStyle.Fill;
104      this.executionContextGroupBox.Location = new System.Drawing.Point(0, 0);
105      this.executionContextGroupBox.Name = "executionContextGroupBox";
[5003]106      this.executionContextGroupBox.Size = new System.Drawing.Size(242, 361);
[4903]107      this.executionContextGroupBox.TabIndex = 0;
108      this.executionContextGroupBox.TabStop = false;
109      this.executionContextGroupBox.Text = "Execution Context";
110      //
111      // executionContextTreeView
112      //
[5116]113      this.executionContextTreeView.Anchor = ((System.Windows.Forms.AnchorStyles)((((System.Windows.Forms.AnchorStyles.Top | System.Windows.Forms.AnchorStyles.Bottom)
114            | System.Windows.Forms.AnchorStyles.Left)
115            | System.Windows.Forms.AnchorStyles.Right)));
[5003]116      this.executionContextTreeView.ContextMenuStrip = this.executionContextConextMenu;
[4909]117      this.executionContextTreeView.ImageIndex = 0;
118      this.executionContextTreeView.ImageList = this.executionContextImageList;
[5116]119      this.executionContextTreeView.Location = new System.Drawing.Point(6, 19);
[4903]120      this.executionContextTreeView.Name = "executionContextTreeView";
[4909]121      this.executionContextTreeView.SelectedImageIndex = 0;
122      this.executionContextTreeView.ShowNodeToolTips = true;
[5116]123      this.executionContextTreeView.Size = new System.Drawing.Size(230, 336);
[4903]124      this.executionContextTreeView.TabIndex = 0;
125      this.executionContextTreeView.NodeMouseClick += new System.Windows.Forms.TreeNodeMouseClickEventHandler(this.executionContextTreeView_NodeMouseClick);
126      this.executionContextTreeView.NodeMouseDoubleClick += new System.Windows.Forms.TreeNodeMouseClickEventHandler(this.executionContextTreeView_NodeMouseDoubleClick);
[5116]127      this.executionContextTreeView.MouseDown += new System.Windows.Forms.MouseEventHandler(this.executionContextTreeView_MouseDown);
[4903]128      //
[5116]129      // executionContextConextMenu
130      //
131      this.executionContextConextMenu.Items.AddRange(new System.Windows.Forms.ToolStripItem[] {
132            this.showValueToolStripMenuItem});
133      this.executionContextConextMenu.Name = "executionContextConextMenu";
134      this.executionContextConextMenu.Size = new System.Drawing.Size(173, 26);
135      this.executionContextConextMenu.Opening += new System.ComponentModel.CancelEventHandler(this.executionContextConextMenu_Opening);
136      //
137      // showValueToolStripMenuItem
138      //
139      this.showValueToolStripMenuItem.Name = "showValueToolStripMenuItem";
140      this.showValueToolStripMenuItem.Size = new System.Drawing.Size(172, 22);
141      this.showValueToolStripMenuItem.Text = "Show Actual Value";
142      this.showValueToolStripMenuItem.ToolTipText = "Try to obtain the parameter\'s actual value in the current execution context and o" +
143    "pen it in a new view.";
144      this.showValueToolStripMenuItem.Click += new System.EventHandler(this.ShowValue_Click);
145      //
[4993]146      // executionContextImageList
147      //
148      this.executionContextImageList.ColorDepth = System.Windows.Forms.ColorDepth.Depth8Bit;
149      this.executionContextImageList.ImageSize = new System.Drawing.Size(16, 16);
150      this.executionContextImageList.TransparentColor = System.Drawing.Color.Transparent;
151      //
[4903]152      // scopeGroupBox
153      //
154      this.scopeGroupBox.Controls.Add(this.scopeTreeView);
155      this.scopeGroupBox.Dock = System.Windows.Forms.DockStyle.Fill;
156      this.scopeGroupBox.Location = new System.Drawing.Point(0, 0);
157      this.scopeGroupBox.Name = "scopeGroupBox";
158      this.scopeGroupBox.Size = new System.Drawing.Size(305, 361);
159      this.scopeGroupBox.TabIndex = 1;
160      this.scopeGroupBox.TabStop = false;
161      this.scopeGroupBox.Text = "Scope";
162      //
[4876]163      // scopeTreeView
164      //
[5116]165      this.scopeTreeView.Anchor = ((System.Windows.Forms.AnchorStyles)((((System.Windows.Forms.AnchorStyles.Top | System.Windows.Forms.AnchorStyles.Bottom)
166            | System.Windows.Forms.AnchorStyles.Left)
167            | System.Windows.Forms.AnchorStyles.Right)));
[4909]168      this.scopeTreeView.ImageIndex = 0;
169      this.scopeTreeView.ImageList = this.scopeImageList;
[5116]170      this.scopeTreeView.Location = new System.Drawing.Point(6, 19);
[4876]171      this.scopeTreeView.Name = "scopeTreeView";
[4909]172      this.scopeTreeView.SelectedImageIndex = 0;
173      this.scopeTreeView.ShowNodeToolTips = true;
[5116]174      this.scopeTreeView.Size = new System.Drawing.Size(293, 336);
[4876]175      this.scopeTreeView.TabIndex = 0;
[4909]176      this.scopeTreeView.NodeMouseDoubleClick += new System.Windows.Forms.TreeNodeMouseClickEventHandler(this.scopeTreeView_NodeMouseDoubleClick);
[4876]177      //
[4993]178      // scopeImageList
179      //
180      this.scopeImageList.ColorDepth = System.Windows.Forms.ColorDepth.Depth8Bit;
181      this.scopeImageList.ImageSize = new System.Drawing.Size(16, 16);
182      this.scopeImageList.TransparentColor = System.Drawing.Color.Transparent;
183      //
[4876]184      // nameTextBox
185      //
[5003]186      this.nameTextBox.Anchor = ((System.Windows.Forms.AnchorStyles)(((System.Windows.Forms.AnchorStyles.Top | System.Windows.Forms.AnchorStyles.Left)
187            | System.Windows.Forms.AnchorStyles.Right)));
[4903]188      this.nameTextBox.Cursor = System.Windows.Forms.Cursors.Default;
[4876]189      this.nameTextBox.Location = new System.Drawing.Point(6, 19);
190      this.nameTextBox.Name = "nameTextBox";
191      this.nameTextBox.ReadOnly = true;
[5116]192      this.nameTextBox.Size = new System.Drawing.Size(551, 20);
[4876]193      this.nameTextBox.TabIndex = 3;
[4903]194      this.nameTextBox.DoubleClick += new System.EventHandler(this.nameTextBox_DoubleClick);
[4876]195      //
[5003]196      // parametersImageList
197      //
198      this.parametersImageList.ColorDepth = System.Windows.Forms.ColorDepth.Depth8Bit;
199      this.parametersImageList.ImageSize = new System.Drawing.Size(16, 16);
200      this.parametersImageList.TransparentColor = System.Drawing.Color.Transparent;
201      //
[4876]202      // OperationContentView
203      //
204      this.AutoScaleDimensions = new System.Drawing.SizeF(6F, 13F);
205      this.AutoScaleMode = System.Windows.Forms.AutoScaleMode.Font;
206      this.Controls.Add(this.groupBox);
207      this.Name = "OperationContentView";
208      this.Size = new System.Drawing.Size(563, 412);
209      this.groupBox.ResumeLayout(false);
210      this.groupBox.PerformLayout();
211      this.splitContainer1.Panel1.ResumeLayout(false);
212      this.splitContainer1.Panel2.ResumeLayout(false);
213      this.splitContainer1.ResumeLayout(false);
[4903]214      this.executionContextGroupBox.ResumeLayout(false);
[5116]215      this.executionContextConextMenu.ResumeLayout(false);
[4876]216      this.scopeGroupBox.ResumeLayout(false);
217      this.ResumeLayout(false);
218
219    }
220
221    #endregion
222
223    private System.Windows.Forms.GroupBox groupBox;
224    private System.Windows.Forms.TextBox nameTextBox;
225    private System.Windows.Forms.SplitContainer splitContainer1;
226    private System.Windows.Forms.TreeView scopeTreeView;
227    private System.Windows.Forms.GroupBox scopeGroupBox;
[4909]228    private System.Windows.Forms.ImageList executionContextImageList;
229    private System.Windows.Forms.ImageList parametersImageList;
230    private System.Windows.Forms.ImageList scopeImageList;
[5003]231    private System.Windows.Forms.GroupBox executionContextGroupBox;
232    private System.Windows.Forms.TreeView executionContextTreeView;
233    private System.Windows.Forms.ContextMenuStrip executionContextConextMenu;
234    private System.Windows.Forms.ToolStripMenuItem showValueToolStripMenuItem;
[4876]235  }
236}
Note: See TracBrowser for help on using the repository browser.