Free cookie consent management tool by TermsFeed Policy Generator

source: stable/HeuristicLab.Core.Views/3.3/TypeSelector.Designer.cs @ 12009

Last change on this file since 12009 was 12009, checked in by ascheibe, 9 years ago

#2212 updated copyright year

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