Free cookie consent management tool by TermsFeed Policy Generator

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

Last change on this file since 3588 was 3588, checked in by swagner, 14 years ago

Worked on UI support for choosing generic type parameters (#42)

File size: 14.0 KB
Line 
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.Core.Views {
23  partial class TypeSelector {
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) {
35        if (typeSelectorDialog != null) typeSelectorDialog.Dispose();
36        if (components != null) components.Dispose();
37      }
38      base.Dispose(disposing);
39    }
40
41    #region Component Designer generated code
42
43    /// <summary>
44    /// Required method for Designer support - do not modify
45    /// the contents of this method with the code editor.
46    /// </summary>
47    private void InitializeComponent() {
48      this.components = new System.ComponentModel.Container();
49      System.ComponentModel.ComponentResourceManager resources = new System.ComponentModel.ComponentResourceManager(typeof(TypeSelector));
50      this.typesTreeView = new System.Windows.Forms.TreeView();
51      this.imageList = new System.Windows.Forms.ImageList(this.components);
52      this.typesGroupBox = new System.Windows.Forms.GroupBox();
53      this.splitContainer = new System.Windows.Forms.SplitContainer();
54      this.typeParametersSplitContainer = new System.Windows.Forms.SplitContainer();
55      this.searchLabel = new System.Windows.Forms.Label();
56      this.searchTextBox = new System.Windows.Forms.TextBox();
57      this.typeParametersGroupBox = new System.Windows.Forms.GroupBox();
58      this.setTypeParameterButton = new System.Windows.Forms.Button();
59      this.typeParametersListView = new System.Windows.Forms.ListView();
60      this.descriptionTextBox = new System.Windows.Forms.TextBox();
61      this.toolTip = new System.Windows.Forms.ToolTip(this.components);
62      this.columnHeader1 = new System.Windows.Forms.ColumnHeader();
63      this.typesGroupBox.SuspendLayout();
64      this.splitContainer.Panel1.SuspendLayout();
65      this.splitContainer.Panel2.SuspendLayout();
66      this.splitContainer.SuspendLayout();
67      this.typeParametersSplitContainer.Panel1.SuspendLayout();
68      this.typeParametersSplitContainer.Panel2.SuspendLayout();
69      this.typeParametersSplitContainer.SuspendLayout();
70      this.typeParametersGroupBox.SuspendLayout();
71      this.SuspendLayout();
72      //
73      // typesTreeView
74      //
75      this.typesTreeView.Anchor = ((System.Windows.Forms.AnchorStyles)((((System.Windows.Forms.AnchorStyles.Top | System.Windows.Forms.AnchorStyles.Bottom)
76                  | System.Windows.Forms.AnchorStyles.Left)
77                  | System.Windows.Forms.AnchorStyles.Right)));
78      this.typesTreeView.HideSelection = false;
79      this.typesTreeView.ImageIndex = 0;
80      this.typesTreeView.ImageList = this.imageList;
81      this.typesTreeView.Location = new System.Drawing.Point(3, 29);
82      this.typesTreeView.Name = "typesTreeView";
83      this.typesTreeView.SelectedImageIndex = 0;
84      this.typesTreeView.ShowNodeToolTips = true;
85      this.typesTreeView.Size = new System.Drawing.Size(219, 287);
86      this.typesTreeView.TabIndex = 0;
87      this.typesTreeView.VisibleChanged += new System.EventHandler(this.typesTreeView_VisibleChanged);
88      this.typesTreeView.AfterSelect += new System.Windows.Forms.TreeViewEventHandler(this.typesTreeView_AfterSelect);
89      this.typesTreeView.ItemDrag += new System.Windows.Forms.ItemDragEventHandler(this.typesTreeView_ItemDrag);
90      //
91      // imageList
92      //
93      this.imageList.ColorDepth = System.Windows.Forms.ColorDepth.Depth8Bit;
94      this.imageList.ImageSize = new System.Drawing.Size(16, 16);
95      this.imageList.TransparentColor = System.Drawing.Color.Transparent;
96      //
97      // typesGroupBox
98      //
99      this.typesGroupBox.Controls.Add(this.splitContainer);
100      this.typesGroupBox.Dock = System.Windows.Forms.DockStyle.Fill;
101      this.typesGroupBox.Location = new System.Drawing.Point(0, 0);
102      this.typesGroupBox.Name = "typesGroupBox";
103      this.typesGroupBox.Size = new System.Drawing.Size(231, 614);
104      this.typesGroupBox.TabIndex = 0;
105      this.typesGroupBox.TabStop = false;
106      this.typesGroupBox.Text = "Available Types";
107      //
108      // splitContainer
109      //
110      this.splitContainer.Dock = System.Windows.Forms.DockStyle.Fill;
111      this.splitContainer.Location = new System.Drawing.Point(3, 16);
112      this.splitContainer.Name = "splitContainer";
113      this.splitContainer.Orientation = System.Windows.Forms.Orientation.Horizontal;
114      //
115      // splitContainer.Panel1
116      //
117      this.splitContainer.Panel1.Controls.Add(this.typeParametersSplitContainer);
118      //
119      // splitContainer.Panel2
120      //
121      this.splitContainer.Panel2.Controls.Add(this.descriptionTextBox);
122      this.splitContainer.Size = new System.Drawing.Size(225, 595);
123      this.splitContainer.SplitterDistance = 471;
124      this.splitContainer.TabIndex = 2;
125      //
126      // typeParametersSplitContainer
127      //
128      this.typeParametersSplitContainer.Anchor = ((System.Windows.Forms.AnchorStyles)((((System.Windows.Forms.AnchorStyles.Top | System.Windows.Forms.AnchorStyles.Bottom)
129                  | System.Windows.Forms.AnchorStyles.Left)
130                  | System.Windows.Forms.AnchorStyles.Right)));
131      this.typeParametersSplitContainer.Location = new System.Drawing.Point(0, 0);
132      this.typeParametersSplitContainer.Name = "typeParametersSplitContainer";
133      this.typeParametersSplitContainer.Orientation = System.Windows.Forms.Orientation.Horizontal;
134      //
135      // typeParametersSplitContainer.Panel1
136      //
137      this.typeParametersSplitContainer.Panel1.Controls.Add(this.typesTreeView);
138      this.typeParametersSplitContainer.Panel1.Controls.Add(this.searchLabel);
139      this.typeParametersSplitContainer.Panel1.Controls.Add(this.searchTextBox);
140      //
141      // typeParametersSplitContainer.Panel2
142      //
143      this.typeParametersSplitContainer.Panel2.Controls.Add(this.typeParametersGroupBox);
144      this.typeParametersSplitContainer.Size = new System.Drawing.Size(225, 472);
145      this.typeParametersSplitContainer.SplitterDistance = 319;
146      this.typeParametersSplitContainer.TabIndex = 0;
147      //
148      // searchLabel
149      //
150      this.searchLabel.Image = HeuristicLab.Common.Resources.VS2008ImageLibrary.Zoom;
151      this.searchLabel.Location = new System.Drawing.Point(3, 3);
152      this.searchLabel.Name = "searchLabel";
153      this.searchLabel.Size = new System.Drawing.Size(20, 20);
154      this.searchLabel.TabIndex = 1;
155      this.toolTip.SetToolTip(this.searchLabel, "Enter string to search for types");
156      //
157      // searchTextBox
158      //
159      this.searchTextBox.Anchor = ((System.Windows.Forms.AnchorStyles)(((System.Windows.Forms.AnchorStyles.Top | System.Windows.Forms.AnchorStyles.Left)
160                  | System.Windows.Forms.AnchorStyles.Right)));
161      this.searchTextBox.Location = new System.Drawing.Point(29, 3);
162      this.searchTextBox.Name = "searchTextBox";
163      this.searchTextBox.Size = new System.Drawing.Size(193, 20);
164      this.searchTextBox.TabIndex = 2;
165      this.toolTip.SetToolTip(this.searchTextBox, "Enter string to search for types");
166      this.searchTextBox.TextChanged += new System.EventHandler(this.searchTextBox_TextChanged);
167      //
168      // typeParametersGroupBox
169      //
170      this.typeParametersGroupBox.Anchor = ((System.Windows.Forms.AnchorStyles)((((System.Windows.Forms.AnchorStyles.Top | System.Windows.Forms.AnchorStyles.Bottom)
171                  | System.Windows.Forms.AnchorStyles.Left)
172                  | System.Windows.Forms.AnchorStyles.Right)));
173      this.typeParametersGroupBox.Controls.Add(this.setTypeParameterButton);
174      this.typeParametersGroupBox.Controls.Add(this.typeParametersListView);
175      this.typeParametersGroupBox.Location = new System.Drawing.Point(3, 3);
176      this.typeParametersGroupBox.Name = "typeParametersGroupBox";
177      this.typeParametersGroupBox.Size = new System.Drawing.Size(219, 143);
178      this.typeParametersGroupBox.TabIndex = 0;
179      this.typeParametersGroupBox.TabStop = false;
180      this.typeParametersGroupBox.Text = "Type Parameters";
181      //
182      // setTypeParameterButton
183      //
184      this.setTypeParameterButton.Anchor = ((System.Windows.Forms.AnchorStyles)((System.Windows.Forms.AnchorStyles.Top | System.Windows.Forms.AnchorStyles.Right)));
185      this.setTypeParameterButton.Enabled = false;
186      this.setTypeParameterButton.Image = HeuristicLab.Common.Resources.VS2008ImageLibrary.Edit;
187      this.setTypeParameterButton.Location = new System.Drawing.Point(189, 19);
188      this.setTypeParameterButton.Name = "setTypeParameterButton";
189      this.setTypeParameterButton.Size = new System.Drawing.Size(24, 24);
190      this.setTypeParameterButton.TabIndex = 1;
191      this.toolTip.SetToolTip(this.setTypeParameterButton, "Set Type Parameter");
192      this.setTypeParameterButton.UseVisualStyleBackColor = true;
193      this.setTypeParameterButton.Click += new System.EventHandler(this.setTypeParameterButton_Click);
194      //
195      // typeParametersListView
196      //
197      this.typeParametersListView.Anchor = ((System.Windows.Forms.AnchorStyles)((((System.Windows.Forms.AnchorStyles.Top | System.Windows.Forms.AnchorStyles.Bottom)
198                  | System.Windows.Forms.AnchorStyles.Left)
199                  | System.Windows.Forms.AnchorStyles.Right)));
200      this.typeParametersListView.Columns.AddRange(new System.Windows.Forms.ColumnHeader[] {
201            this.columnHeader1});
202      this.typeParametersListView.FullRowSelect = true;
203      this.typeParametersListView.HeaderStyle = System.Windows.Forms.ColumnHeaderStyle.None;
204      this.typeParametersListView.Location = new System.Drawing.Point(6, 19);
205      this.typeParametersListView.MultiSelect = false;
206      this.typeParametersListView.Name = "typeParametersListView";
207      this.typeParametersListView.ShowItemToolTips = true;
208      this.typeParametersListView.Size = new System.Drawing.Size(177, 118);
209      this.typeParametersListView.TabIndex = 0;
210      this.typeParametersListView.UseCompatibleStateImageBehavior = false;
211      this.typeParametersListView.View = System.Windows.Forms.View.Details;
212      this.typeParametersListView.SelectedIndexChanged += new System.EventHandler(this.typeParametersListView_SelectedIndexChanged);
213      this.typeParametersListView.DoubleClick += new System.EventHandler(this.typeParametersListView_DoubleClick);
214      //
215      // descriptionTextBox
216      //
217      this.descriptionTextBox.Anchor = ((System.Windows.Forms.AnchorStyles)((((System.Windows.Forms.AnchorStyles.Top | System.Windows.Forms.AnchorStyles.Bottom)
218                  | System.Windows.Forms.AnchorStyles.Left)
219                  | System.Windows.Forms.AnchorStyles.Right)));
220      this.descriptionTextBox.Font = new System.Drawing.Font("Courier New", 8.25F, System.Drawing.FontStyle.Regular, System.Drawing.GraphicsUnit.Point, ((byte)(0)));
221      this.descriptionTextBox.Location = new System.Drawing.Point(3, 3);
222      this.descriptionTextBox.Multiline = true;
223      this.descriptionTextBox.Name = "descriptionTextBox";
224      this.descriptionTextBox.ReadOnly = true;
225      this.descriptionTextBox.ScrollBars = System.Windows.Forms.ScrollBars.Vertical;
226      this.descriptionTextBox.Size = new System.Drawing.Size(219, 114);
227      this.descriptionTextBox.TabIndex = 0;
228      //
229      // TypeSelector
230      //
231      this.AutoScaleDimensions = new System.Drawing.SizeF(6F, 13F);
232      this.AutoScaleMode = System.Windows.Forms.AutoScaleMode.Font;
233      this.Controls.Add(this.typesGroupBox);
234      this.Name = "TypeSelector";
235      this.Size = new System.Drawing.Size(231, 614);
236      this.typesGroupBox.ResumeLayout(false);
237      this.splitContainer.Panel1.ResumeLayout(false);
238      this.splitContainer.Panel2.ResumeLayout(false);
239      this.splitContainer.Panel2.PerformLayout();
240      this.splitContainer.ResumeLayout(false);
241      this.typeParametersSplitContainer.Panel1.ResumeLayout(false);
242      this.typeParametersSplitContainer.Panel1.PerformLayout();
243      this.typeParametersSplitContainer.Panel2.ResumeLayout(false);
244      this.typeParametersSplitContainer.ResumeLayout(false);
245      this.typeParametersGroupBox.ResumeLayout(false);
246      this.ResumeLayout(false);
247
248    }
249
250    #endregion
251
252    protected System.Windows.Forms.GroupBox typesGroupBox;
253    protected System.Windows.Forms.TextBox descriptionTextBox;
254    protected System.Windows.Forms.ImageList imageList;
255    protected System.Windows.Forms.TreeView typesTreeView;
256    protected System.Windows.Forms.SplitContainer splitContainer;
257    protected System.Windows.Forms.Label searchLabel;
258    protected System.Windows.Forms.TextBox searchTextBox;
259    protected System.Windows.Forms.ToolTip toolTip;
260    protected System.Windows.Forms.SplitContainer typeParametersSplitContainer;
261    protected System.Windows.Forms.GroupBox typeParametersGroupBox;
262    protected System.Windows.Forms.ListView typeParametersListView;
263    protected System.Windows.Forms.Button setTypeParameterButton;
264    protected System.Windows.Forms.ColumnHeader columnHeader1;
265
266  }
267}
Note: See TracBrowser for help on using the repository browser.