Free cookie consent management tool by TermsFeed Policy Generator

source: trunk/HeuristicLab.Core.Views/3.3/TypeSelector.Designer.cs @ 16565

Last change on this file since 16565 was 16565, checked in by gkronber, 5 years ago

#2520: merged changes from PersistenceOverhaul branch (r16451:16564) into trunk

File size: 18.0 KB
Line 
1#region License Information
2/* HeuristicLab
3 * Copyright (C) 2002-2019 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.Core.Views {
23  partial class TypeSelector {
24    /// <summary>
25    /// Required designer variable.
26    /// </summary>
27    private System.ComponentModel.IContainer components = null;
28
29    #region Component Designer generated code
30
31    /// <summary>
32    /// Required method for Designer support - do not modify
33    /// the contents of this method with the code editor.
34    /// </summary>
35    private void InitializeComponent() {
36      this.components = new System.ComponentModel.Container();
37      this.typesTreeView = new System.Windows.Forms.TreeView();
38      this.imageList = new System.Windows.Forms.ImageList(this.components);
39      this.typesGroupBox = new System.Windows.Forms.GroupBox();
40      this.splitContainer = new System.Windows.Forms.SplitContainer();
41      this.typeParametersSplitContainer = new System.Windows.Forms.SplitContainer();
42      this.searchLabel = new System.Windows.Forms.Label();
43      this.searchTextBox = new System.Windows.Forms.TextBox();
44      this.clearSearchButton = new System.Windows.Forms.Button();
45      this.contextMenuStrip = new System.Windows.Forms.ContextMenuStrip(this.components);
46      this.expandToolStripMenuItem = new System.Windows.Forms.ToolStripMenuItem();
47      this.expandAllToolStripMenuItem = new System.Windows.Forms.ToolStripMenuItem();
48      this.collapseToolStripMenuItem = new System.Windows.Forms.ToolStripMenuItem();
49      this.collapseAllToolStripMenuItem = new System.Windows.Forms.ToolStripMenuItem();
50      this.typeParametersGroupBox = new System.Windows.Forms.GroupBox();
51      this.setTypeParameterButton = new System.Windows.Forms.Button();
52      this.typeParametersListView = new System.Windows.Forms.ListView();
53      this.columnHeader1 = ((System.Windows.Forms.ColumnHeader)(new System.Windows.Forms.ColumnHeader()));
54      this.descriptionTextBox = new System.Windows.Forms.TextBox();
55      this.toolTip = new System.Windows.Forms.ToolTip(this.components);
56      this.typesGroupBox.SuspendLayout();
57      this.splitContainer.Panel1.SuspendLayout();
58      this.splitContainer.Panel2.SuspendLayout();
59      this.splitContainer.SuspendLayout();
60      this.typeParametersSplitContainer.Panel1.SuspendLayout();
61      this.typeParametersSplitContainer.Panel2.SuspendLayout();
62      this.typeParametersSplitContainer.SuspendLayout();
63      this.typeParametersGroupBox.SuspendLayout();
64      this.contextMenuStrip.SuspendLayout();
65      this.SuspendLayout();
66      //
67      // typesTreeView
68      //
69      this.typesTreeView.Anchor = ((System.Windows.Forms.AnchorStyles)((((System.Windows.Forms.AnchorStyles.Top | System.Windows.Forms.AnchorStyles.Bottom)
70                  | System.Windows.Forms.AnchorStyles.Left)
71                  | System.Windows.Forms.AnchorStyles.Right)));
72      this.typesTreeView.HideSelection = false;
73      this.typesTreeView.ImageIndex = 0;
74      this.typesTreeView.ImageList = this.imageList;
75      this.typesTreeView.Location = new System.Drawing.Point(3, 29);
76      this.typesTreeView.Name = "typesTreeView";
77      this.typesTreeView.SelectedImageIndex = 0;
78      this.typesTreeView.ShowNodeToolTips = true;
79      this.typesTreeView.Size = new System.Drawing.Size(219, 287);
80      this.typesTreeView.TabIndex = 2;
81      this.typesTreeView.ItemDrag += new System.Windows.Forms.ItemDragEventHandler(this.typesTreeView_ItemDrag);
82      this.typesTreeView.AfterSelect += new System.Windows.Forms.TreeViewEventHandler(this.typesTreeView_AfterSelect);
83      this.typesTreeView.VisibleChanged += new System.EventHandler(this.typesTreeView_VisibleChanged);
84      this.typesTreeView.MouseDown += new System.Windows.Forms.MouseEventHandler(this.typesTreeView_MouseDown);
85      //
86      // imageList
87      //
88      this.imageList.ColorDepth = System.Windows.Forms.ColorDepth.Depth8Bit;
89      this.imageList.ImageSize = new System.Drawing.Size(16, 16);
90      this.imageList.TransparentColor = System.Drawing.Color.Transparent;
91      //
92      // typesGroupBox
93      //
94      this.typesGroupBox.Controls.Add(this.splitContainer);
95      this.typesGroupBox.Dock = System.Windows.Forms.DockStyle.Fill;
96      this.typesGroupBox.Location = new System.Drawing.Point(0, 0);
97      this.typesGroupBox.Name = "typesGroupBox";
98      this.typesGroupBox.Size = new System.Drawing.Size(231, 614);
99      this.typesGroupBox.TabIndex = 0;
100      this.typesGroupBox.TabStop = false;
101      this.typesGroupBox.Text = "Available Types";
102      //
103      // splitContainer
104      //
105      this.splitContainer.Dock = System.Windows.Forms.DockStyle.Fill;
106      this.splitContainer.Location = new System.Drawing.Point(3, 16);
107      this.splitContainer.Name = "splitContainer";
108      this.splitContainer.Orientation = System.Windows.Forms.Orientation.Horizontal;
109      //
110      // splitContainer.Panel1
111      //
112      this.splitContainer.Panel1.Controls.Add(this.typeParametersSplitContainer);
113      //
114      // splitContainer.Panel2
115      //
116      this.splitContainer.Panel2.Controls.Add(this.descriptionTextBox);
117      this.splitContainer.Size = new System.Drawing.Size(225, 595);
118      this.splitContainer.SplitterDistance = 471;
119      this.splitContainer.TabIndex = 0;
120      //
121      // typeParametersSplitContainer
122      //
123      this.typeParametersSplitContainer.Anchor = ((System.Windows.Forms.AnchorStyles)((((System.Windows.Forms.AnchorStyles.Top | System.Windows.Forms.AnchorStyles.Bottom)
124                  | System.Windows.Forms.AnchorStyles.Left)
125                  | System.Windows.Forms.AnchorStyles.Right)));
126      this.typeParametersSplitContainer.Location = new System.Drawing.Point(0, 0);
127      this.typeParametersSplitContainer.Name = "typeParametersSplitContainer";
128      this.typeParametersSplitContainer.Orientation = System.Windows.Forms.Orientation.Horizontal;
129      //
130      // typeParametersSplitContainer.Panel1
131      //
132      this.typeParametersSplitContainer.Panel1.Controls.Add(this.typesTreeView);
133      this.typeParametersSplitContainer.Panel1.Controls.Add(this.searchLabel);
134      this.typeParametersSplitContainer.Panel1.Controls.Add(this.searchTextBox);
135      //
136      // typeParametersSplitContainer.Panel2
137      //
138      this.typeParametersSplitContainer.Panel2.Controls.Add(this.typeParametersGroupBox);
139      this.typeParametersSplitContainer.Size = new System.Drawing.Size(225, 472);
140      this.typeParametersSplitContainer.SplitterDistance = 319;
141      this.typeParametersSplitContainer.TabIndex = 0;
142      //
143      // searchLabel
144      //
145      this.searchLabel.Image = HeuristicLab.Common.Resources.VSImageLibrary.Zoom;
146      this.searchLabel.Location = new System.Drawing.Point(3, 3);
147      this.searchLabel.Name = "searchLabel";
148      this.searchLabel.Size = new System.Drawing.Size(20, 20);
149      this.searchLabel.TabIndex = 0;
150      this.toolTip.SetToolTip(this.searchLabel, "Enter string to search for types");
151      //
152      // searchTextBox
153      //
154      this.searchTextBox.Anchor = ((System.Windows.Forms.AnchorStyles)(((System.Windows.Forms.AnchorStyles.Top | System.Windows.Forms.AnchorStyles.Left)
155                  | System.Windows.Forms.AnchorStyles.Right)));
156      this.searchTextBox.Controls.Add(this.clearSearchButton);
157      this.searchTextBox.Location = new System.Drawing.Point(29, 3);
158      this.searchTextBox.Name = "searchTextBox";
159      this.searchTextBox.Size = new System.Drawing.Size(193, 20);
160      this.searchTextBox.TabIndex = 1;
161      this.toolTip.SetToolTip(this.searchTextBox, "Filters the available Types.\r\nThe search term is tokenized by space and a name ha" +
162        "s to contain all tokens to be displayed.\r\n(E.g. \"Sym Reg\" matches \"SymbolicRegr" +
163        "ession\")");
164      this.searchTextBox.TextChanged += new System.EventHandler(this.searchTextBox_TextChanged);
165      this.searchTextBox.KeyDown += new System.Windows.Forms.KeyEventHandler(this.searchTextBox_KeyDown);
166      //
167      // clearSearchButton
168      //
169      this.clearSearchButton.BackColor = System.Drawing.Color.Transparent;
170      this.clearSearchButton.Cursor = System.Windows.Forms.Cursors.Default;
171      this.clearSearchButton.Dock = System.Windows.Forms.DockStyle.Right;
172      this.clearSearchButton.FlatAppearance.BorderSize = 0;
173      this.clearSearchButton.FlatStyle = System.Windows.Forms.FlatStyle.Flat;
174      this.clearSearchButton.ForeColor = System.Drawing.Color.Transparent;
175      this.clearSearchButton.Image = HeuristicLab.Common.Resources.VSImageLibrary.Delete;
176      this.clearSearchButton.Location = new System.Drawing.Point(543, 0);
177      this.clearSearchButton.Margin = new System.Windows.Forms.Padding(0);
178      this.clearSearchButton.Name = "clearSearchButton";
179      this.clearSearchButton.Size = new System.Drawing.Size(15, 16);
180      this.clearSearchButton.TabIndex = 0;
181      this.clearSearchButton.TabStop = false;
182      this.clearSearchButton.UseVisualStyleBackColor = false;
183      this.clearSearchButton.Click += new System.EventHandler(this.clearSearchButton_Click);
184      //
185      // typeParametersGroupBox
186      //
187      this.typeParametersGroupBox.Anchor = ((System.Windows.Forms.AnchorStyles)((((System.Windows.Forms.AnchorStyles.Top | System.Windows.Forms.AnchorStyles.Bottom)
188                  | System.Windows.Forms.AnchorStyles.Left)
189                  | System.Windows.Forms.AnchorStyles.Right)));
190      this.typeParametersGroupBox.Controls.Add(this.setTypeParameterButton);
191      this.typeParametersGroupBox.Controls.Add(this.typeParametersListView);
192      this.typeParametersGroupBox.Location = new System.Drawing.Point(3, 3);
193      this.typeParametersGroupBox.Name = "typeParametersGroupBox";
194      this.typeParametersGroupBox.Size = new System.Drawing.Size(219, 143);
195      this.typeParametersGroupBox.TabIndex = 0;
196      this.typeParametersGroupBox.TabStop = false;
197      this.typeParametersGroupBox.Text = "Type Parameters";
198      //
199      // setTypeParameterButton
200      //
201      this.setTypeParameterButton.Anchor = ((System.Windows.Forms.AnchorStyles)((System.Windows.Forms.AnchorStyles.Top | System.Windows.Forms.AnchorStyles.Right)));
202      this.setTypeParameterButton.Enabled = false;
203      this.setTypeParameterButton.Image = HeuristicLab.Common.Resources.VSImageLibrary.Edit;
204      this.setTypeParameterButton.Location = new System.Drawing.Point(189, 19);
205      this.setTypeParameterButton.Name = "setTypeParameterButton";
206      this.setTypeParameterButton.Size = new System.Drawing.Size(24, 24);
207      this.setTypeParameterButton.TabIndex = 1;
208      this.toolTip.SetToolTip(this.setTypeParameterButton, "Set Type Parameter");
209      this.setTypeParameterButton.UseVisualStyleBackColor = true;
210      this.setTypeParameterButton.Click += new System.EventHandler(this.setTypeParameterButton_Click);
211      //
212      // typeParametersListView
213      //
214      this.typeParametersListView.Anchor = ((System.Windows.Forms.AnchorStyles)((((System.Windows.Forms.AnchorStyles.Top | System.Windows.Forms.AnchorStyles.Bottom)
215                  | System.Windows.Forms.AnchorStyles.Left)
216                  | System.Windows.Forms.AnchorStyles.Right)));
217      this.typeParametersListView.Columns.AddRange(new System.Windows.Forms.ColumnHeader[] {
218            this.columnHeader1});
219      this.typeParametersListView.FullRowSelect = true;
220      this.typeParametersListView.HeaderStyle = System.Windows.Forms.ColumnHeaderStyle.None;
221      this.typeParametersListView.Location = new System.Drawing.Point(6, 19);
222      this.typeParametersListView.MultiSelect = false;
223      this.typeParametersListView.Name = "typeParametersListView";
224      this.typeParametersListView.ShowItemToolTips = true;
225      this.typeParametersListView.Size = new System.Drawing.Size(177, 118);
226      this.typeParametersListView.TabIndex = 0;
227      this.typeParametersListView.UseCompatibleStateImageBehavior = false;
228      this.typeParametersListView.View = System.Windows.Forms.View.Details;
229      this.typeParametersListView.SelectedIndexChanged += new System.EventHandler(this.typeParametersListView_SelectedIndexChanged);
230      this.typeParametersListView.DoubleClick += new System.EventHandler(this.typeParametersListView_DoubleClick);
231      //
232      // descriptionTextBox
233      //
234      this.descriptionTextBox.Anchor = ((System.Windows.Forms.AnchorStyles)((((System.Windows.Forms.AnchorStyles.Top | System.Windows.Forms.AnchorStyles.Bottom)
235                  | System.Windows.Forms.AnchorStyles.Left)
236                  | System.Windows.Forms.AnchorStyles.Right)));
237      this.descriptionTextBox.Font = new System.Drawing.Font("Courier New", 8.25F, System.Drawing.FontStyle.Regular, System.Drawing.GraphicsUnit.Point, ((byte)(0)));
238      this.descriptionTextBox.Location = new System.Drawing.Point(3, 3);
239      this.descriptionTextBox.Multiline = true;
240      this.descriptionTextBox.Name = "descriptionTextBox";
241      this.descriptionTextBox.ReadOnly = true;
242      this.descriptionTextBox.ScrollBars = System.Windows.Forms.ScrollBars.Vertical;
243      this.descriptionTextBox.Size = new System.Drawing.Size(219, 114);
244      this.descriptionTextBox.TabIndex = 0;
245      //
246      // contextMenuStrip
247      //
248      this.contextMenuStrip.Items.AddRange(new System.Windows.Forms.ToolStripItem[] {
249            this.expandToolStripMenuItem,
250            this.expandAllToolStripMenuItem,
251            this.collapseToolStripMenuItem,
252            this.collapseAllToolStripMenuItem});
253      this.contextMenuStrip.Name = "contextMenuStrip";
254      this.contextMenuStrip.Size = new System.Drawing.Size(137, 92);
255      //
256      // expandToolStripMenuItem
257      //
258      this.expandToolStripMenuItem.Name = "expandToolStripMenuItem";
259      this.expandToolStripMenuItem.Size = new System.Drawing.Size(136, 22);
260      this.expandToolStripMenuItem.Text = "Expand";
261      this.expandToolStripMenuItem.Click += new System.EventHandler(this.expandToolStripMenuItem_Click);
262      //
263      // expandAllToolStripMenuItem
264      //
265      this.expandAllToolStripMenuItem.Name = "expandAllToolStripMenuItem";
266      this.expandAllToolStripMenuItem.Size = new System.Drawing.Size(136, 22);
267      this.expandAllToolStripMenuItem.Text = "Expand All";
268      this.expandAllToolStripMenuItem.Click += new System.EventHandler(this.expandAllToolStripMenuItem_Click);
269      //
270      // collapseToolStripMenuItem
271      //
272      this.collapseToolStripMenuItem.Name = "collapseToolStripMenuItem";
273      this.collapseToolStripMenuItem.Size = new System.Drawing.Size(136, 22);
274      this.collapseToolStripMenuItem.Text = "Collapse";
275      this.collapseToolStripMenuItem.Click += new System.EventHandler(this.collapseToolStripMenuItem_Click);
276      //
277      // collapseAllToolStripMenuItem
278      //
279      this.collapseAllToolStripMenuItem.Name = "collapseAllToolStripMenuItem";
280      this.collapseAllToolStripMenuItem.Size = new System.Drawing.Size(136, 22);
281      this.collapseAllToolStripMenuItem.Text = "Collapse All";
282      this.collapseAllToolStripMenuItem.Click += new System.EventHandler(this.collapseAllToolStripMenuItem_Click);
283      //
284      // TypeSelector
285      //
286      this.AutoScaleDimensions = new System.Drawing.SizeF(6F, 13F);
287      this.AutoScaleMode = System.Windows.Forms.AutoScaleMode.Inherit;
288      this.Controls.Add(this.typesGroupBox);
289      this.Name = "TypeSelector";
290      this.Size = new System.Drawing.Size(231, 614);
291      this.typesGroupBox.ResumeLayout(false);
292      this.splitContainer.Panel1.ResumeLayout(false);
293      this.splitContainer.Panel2.ResumeLayout(false);
294      this.splitContainer.Panel2.PerformLayout();
295      this.splitContainer.ResumeLayout(false);
296      this.typeParametersSplitContainer.Panel1.ResumeLayout(false);
297      this.typeParametersSplitContainer.Panel1.PerformLayout();
298      this.typeParametersSplitContainer.Panel2.ResumeLayout(false);
299      this.typeParametersSplitContainer.ResumeLayout(false);
300      this.typeParametersGroupBox.ResumeLayout(false);
301      this.contextMenuStrip.ResumeLayout(false);
302      this.ResumeLayout(false);
303
304    }
305
306    #endregion
307
308    protected System.Windows.Forms.GroupBox typesGroupBox;
309    protected System.Windows.Forms.TextBox descriptionTextBox;
310    protected System.Windows.Forms.ImageList imageList;
311    protected System.Windows.Forms.TreeView typesTreeView;
312    protected System.Windows.Forms.SplitContainer splitContainer;
313    protected System.Windows.Forms.Label searchLabel;
314    protected System.Windows.Forms.TextBox searchTextBox;
315    protected System.Windows.Forms.Button clearSearchButton;
316    protected System.Windows.Forms.ToolTip toolTip;
317    protected System.Windows.Forms.ContextMenuStrip contextMenuStrip;
318    protected System.Windows.Forms.ToolStripMenuItem expandToolStripMenuItem;
319    protected System.Windows.Forms.ToolStripMenuItem expandAllToolStripMenuItem;
320    protected System.Windows.Forms.ToolStripMenuItem collapseToolStripMenuItem;
321    protected System.Windows.Forms.ToolStripMenuItem collapseAllToolStripMenuItem;
322    protected System.Windows.Forms.SplitContainer typeParametersSplitContainer;
323    protected System.Windows.Forms.GroupBox typeParametersGroupBox;
324    protected System.Windows.Forms.ListView typeParametersListView;
325    protected System.Windows.Forms.Button setTypeParameterButton;
326    protected System.Windows.Forms.ColumnHeader columnHeader1;
327  }
328}
Note: See TracBrowser for help on using the repository browser.