Free cookie consent management tool by TermsFeed Policy Generator

source: branches/HL-3.2-MonoMigration/HeuristicLab.AdvancedOptimizationFrontend/AvailableOperatorsForm.Designer.cs @ 3276

Last change on this file since 3276 was 2, checked in by swagner, 17 years ago

Added HeuristicLab 3.0 sources from former SVN repository at revision 52

File size: 17.0 KB
Line 
1#region License Information
2/* HeuristicLab
3 * Copyright (C) 2002-2008 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.AdvancedOptimizationFrontend {
23  partial class AvailableOperatorsForm {
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 Windows Form 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      System.ComponentModel.ComponentResourceManager resources = new System.ComponentModel.ComponentResourceManager(typeof(AvailableOperatorsForm));
49      this.builtinOperatorsGroupBox = new System.Windows.Forms.GroupBox();
50      this.splitContainer2 = new System.Windows.Forms.SplitContainer();
51      this.builtinOperatorsTreeView = new System.Windows.Forms.TreeView();
52      this.builtinOperatorsDescriptionTextBox = new System.Windows.Forms.TextBox();
53      this.tabControl = new System.Windows.Forms.TabControl();
54      this.operatorLibrariesTabPage = new System.Windows.Forms.TabPage();
55      this.operatorLibraryTextBox = new System.Windows.Forms.TextBox();
56      this.operatorLibraryLabel = new System.Windows.Forms.Label();
57      this.operatorLibraryOperatorsGroupBox = new System.Windows.Forms.GroupBox();
58      this.splitContainer1 = new System.Windows.Forms.SplitContainer();
59      this.operatorLibraryOperatorsTreeView = new System.Windows.Forms.TreeView();
60      this.operatorLibraryOperatorsDescriptionTextBox = new System.Windows.Forms.TextBox();
61      this.loadButton = new System.Windows.Forms.Button();
62      this.builtinTabPage = new System.Windows.Forms.TabPage();
63      this.openFileDialog = new System.Windows.Forms.OpenFileDialog();
64      this.toolTip = new System.Windows.Forms.ToolTip(this.components);
65      this.builtinOperatorsGroupBox.SuspendLayout();
66      this.splitContainer2.Panel1.SuspendLayout();
67      this.splitContainer2.Panel2.SuspendLayout();
68      this.splitContainer2.SuspendLayout();
69      this.tabControl.SuspendLayout();
70      this.operatorLibrariesTabPage.SuspendLayout();
71      this.operatorLibraryOperatorsGroupBox.SuspendLayout();
72      this.splitContainer1.Panel1.SuspendLayout();
73      this.splitContainer1.Panel2.SuspendLayout();
74      this.splitContainer1.SuspendLayout();
75      this.builtinTabPage.SuspendLayout();
76      this.SuspendLayout();
77      //
78      // builtinOperatorsGroupBox
79      //
80      this.builtinOperatorsGroupBox.Controls.Add(this.splitContainer2);
81      this.builtinOperatorsGroupBox.Dock = System.Windows.Forms.DockStyle.Fill;
82      this.builtinOperatorsGroupBox.Location = new System.Drawing.Point(3, 3);
83      this.builtinOperatorsGroupBox.Name = "builtinOperatorsGroupBox";
84      this.builtinOperatorsGroupBox.Size = new System.Drawing.Size(594, 390);
85      this.builtinOperatorsGroupBox.TabIndex = 0;
86      this.builtinOperatorsGroupBox.TabStop = false;
87      this.builtinOperatorsGroupBox.Text = "&Available Operators";
88      //
89      // splitContainer2
90      //
91      this.splitContainer2.Dock = System.Windows.Forms.DockStyle.Fill;
92      this.splitContainer2.Location = new System.Drawing.Point(3, 16);
93      this.splitContainer2.Name = "splitContainer2";
94      this.splitContainer2.Orientation = System.Windows.Forms.Orientation.Horizontal;
95      //
96      // splitContainer2.Panel1
97      //
98      this.splitContainer2.Panel1.Controls.Add(this.builtinOperatorsTreeView);
99      //
100      // splitContainer2.Panel2
101      //
102      this.splitContainer2.Panel2.Controls.Add(this.builtinOperatorsDescriptionTextBox);
103      this.splitContainer2.Size = new System.Drawing.Size(588, 371);
104      this.splitContainer2.SplitterDistance = 272;
105      this.splitContainer2.TabIndex = 2;
106      //
107      // builtinOperatorsTreeView
108      //
109      this.builtinOperatorsTreeView.Dock = System.Windows.Forms.DockStyle.Fill;
110      this.builtinOperatorsTreeView.HideSelection = false;
111      this.builtinOperatorsTreeView.Location = new System.Drawing.Point(0, 0);
112      this.builtinOperatorsTreeView.Name = "builtinOperatorsTreeView";
113      this.builtinOperatorsTreeView.Size = new System.Drawing.Size(588, 272);
114      this.builtinOperatorsTreeView.TabIndex = 0;
115      this.builtinOperatorsTreeView.AfterSelect += new System.Windows.Forms.TreeViewEventHandler(this.builtinOperatorsTreeView_AfterSelect);
116      this.builtinOperatorsTreeView.ItemDrag += new System.Windows.Forms.ItemDragEventHandler(this.builtinOperatorsTreeView_ItemDrag);
117      //
118      // builtinOperatorsDescriptionTextBox
119      //
120      this.builtinOperatorsDescriptionTextBox.Dock = System.Windows.Forms.DockStyle.Fill;
121      this.builtinOperatorsDescriptionTextBox.Font = new System.Drawing.Font("Courier New", 8.25F, System.Drawing.FontStyle.Regular, System.Drawing.GraphicsUnit.Point, ((byte)(0)));
122      this.builtinOperatorsDescriptionTextBox.Location = new System.Drawing.Point(0, 0);
123      this.builtinOperatorsDescriptionTextBox.Multiline = true;
124      this.builtinOperatorsDescriptionTextBox.Name = "builtinOperatorsDescriptionTextBox";
125      this.builtinOperatorsDescriptionTextBox.ReadOnly = true;
126      this.builtinOperatorsDescriptionTextBox.ScrollBars = System.Windows.Forms.ScrollBars.Vertical;
127      this.builtinOperatorsDescriptionTextBox.Size = new System.Drawing.Size(588, 95);
128      this.builtinOperatorsDescriptionTextBox.TabIndex = 0;
129      //
130      // tabControl
131      //
132      this.tabControl.Anchor = ((System.Windows.Forms.AnchorStyles)((((System.Windows.Forms.AnchorStyles.Top | System.Windows.Forms.AnchorStyles.Bottom)
133                  | System.Windows.Forms.AnchorStyles.Left)
134                  | System.Windows.Forms.AnchorStyles.Right)));
135      this.tabControl.Controls.Add(this.operatorLibrariesTabPage);
136      this.tabControl.Controls.Add(this.builtinTabPage);
137      this.tabControl.Location = new System.Drawing.Point(12, 12);
138      this.tabControl.Name = "tabControl";
139      this.tabControl.SelectedIndex = 0;
140      this.tabControl.Size = new System.Drawing.Size(608, 422);
141      this.tabControl.TabIndex = 0;
142      //
143      // operatorLibrariesTabPage
144      //
145      this.operatorLibrariesTabPage.Controls.Add(this.operatorLibraryTextBox);
146      this.operatorLibrariesTabPage.Controls.Add(this.operatorLibraryLabel);
147      this.operatorLibrariesTabPage.Controls.Add(this.operatorLibraryOperatorsGroupBox);
148      this.operatorLibrariesTabPage.Controls.Add(this.loadButton);
149      this.operatorLibrariesTabPage.Location = new System.Drawing.Point(4, 22);
150      this.operatorLibrariesTabPage.Name = "operatorLibrariesTabPage";
151      this.operatorLibrariesTabPage.Padding = new System.Windows.Forms.Padding(3);
152      this.operatorLibrariesTabPage.Size = new System.Drawing.Size(600, 396);
153      this.operatorLibrariesTabPage.TabIndex = 0;
154      this.operatorLibrariesTabPage.Text = "Operator Libraries";
155      this.operatorLibrariesTabPage.UseVisualStyleBackColor = true;
156      //
157      // operatorLibraryTextBox
158      //
159      this.operatorLibraryTextBox.Anchor = ((System.Windows.Forms.AnchorStyles)(((System.Windows.Forms.AnchorStyles.Top | System.Windows.Forms.AnchorStyles.Left)
160                  | System.Windows.Forms.AnchorStyles.Right)));
161      this.operatorLibraryTextBox.Location = new System.Drawing.Point(97, 8);
162      this.operatorLibraryTextBox.Name = "operatorLibraryTextBox";
163      this.operatorLibraryTextBox.ReadOnly = true;
164      this.operatorLibraryTextBox.Size = new System.Drawing.Size(416, 20);
165      this.operatorLibraryTextBox.TabIndex = 2;
166      //
167      // operatorLibraryLabel
168      //
169      this.operatorLibraryLabel.AutoSize = true;
170      this.operatorLibraryLabel.Location = new System.Drawing.Point(6, 11);
171      this.operatorLibraryLabel.Name = "operatorLibraryLabel";
172      this.operatorLibraryLabel.Size = new System.Drawing.Size(85, 13);
173      this.operatorLibraryLabel.TabIndex = 1;
174      this.operatorLibraryLabel.Text = "&Operator Library:";
175      //
176      // operatorLibraryOperatorsGroupBox
177      //
178      this.operatorLibraryOperatorsGroupBox.Anchor = ((System.Windows.Forms.AnchorStyles)((((System.Windows.Forms.AnchorStyles.Top | System.Windows.Forms.AnchorStyles.Bottom)
179                  | System.Windows.Forms.AnchorStyles.Left)
180                  | System.Windows.Forms.AnchorStyles.Right)));
181      this.operatorLibraryOperatorsGroupBox.Controls.Add(this.splitContainer1);
182      this.operatorLibraryOperatorsGroupBox.Enabled = false;
183      this.operatorLibraryOperatorsGroupBox.Location = new System.Drawing.Point(6, 35);
184      this.operatorLibraryOperatorsGroupBox.Name = "operatorLibraryOperatorsGroupBox";
185      this.operatorLibraryOperatorsGroupBox.Size = new System.Drawing.Size(588, 355);
186      this.operatorLibraryOperatorsGroupBox.TabIndex = 3;
187      this.operatorLibraryOperatorsGroupBox.TabStop = false;
188      this.operatorLibraryOperatorsGroupBox.Text = "&Available Operators";
189      //
190      // splitContainer1
191      //
192      this.splitContainer1.Dock = System.Windows.Forms.DockStyle.Fill;
193      this.splitContainer1.Location = new System.Drawing.Point(3, 16);
194      this.splitContainer1.Name = "splitContainer1";
195      this.splitContainer1.Orientation = System.Windows.Forms.Orientation.Horizontal;
196      //
197      // splitContainer1.Panel1
198      //
199      this.splitContainer1.Panel1.Controls.Add(this.operatorLibraryOperatorsTreeView);
200      //
201      // splitContainer1.Panel2
202      //
203      this.splitContainer1.Panel2.Controls.Add(this.operatorLibraryOperatorsDescriptionTextBox);
204      this.splitContainer1.Size = new System.Drawing.Size(582, 336);
205      this.splitContainer1.SplitterDistance = 237;
206      this.splitContainer1.TabIndex = 1;
207      //
208      // operatorLibraryOperatorsTreeView
209      //
210      this.operatorLibraryOperatorsTreeView.Dock = System.Windows.Forms.DockStyle.Fill;
211      this.operatorLibraryOperatorsTreeView.HideSelection = false;
212      this.operatorLibraryOperatorsTreeView.Location = new System.Drawing.Point(0, 0);
213      this.operatorLibraryOperatorsTreeView.Name = "operatorLibraryOperatorsTreeView";
214      this.operatorLibraryOperatorsTreeView.ShowNodeToolTips = true;
215      this.operatorLibraryOperatorsTreeView.Size = new System.Drawing.Size(582, 237);
216      this.operatorLibraryOperatorsTreeView.TabIndex = 0;
217      this.operatorLibraryOperatorsTreeView.AfterSelect += new System.Windows.Forms.TreeViewEventHandler(this.operatorsTreeView_AfterSelect);
218      this.operatorLibraryOperatorsTreeView.ItemDrag += new System.Windows.Forms.ItemDragEventHandler(this.operatorLibraryOperatorsTreeView_ItemDrag);
219      //
220      // operatorLibraryOperatorsDescriptionTextBox
221      //
222      this.operatorLibraryOperatorsDescriptionTextBox.Dock = System.Windows.Forms.DockStyle.Fill;
223      this.operatorLibraryOperatorsDescriptionTextBox.Font = new System.Drawing.Font("Courier New", 8.25F, System.Drawing.FontStyle.Regular, System.Drawing.GraphicsUnit.Point, ((byte)(0)));
224      this.operatorLibraryOperatorsDescriptionTextBox.Location = new System.Drawing.Point(0, 0);
225      this.operatorLibraryOperatorsDescriptionTextBox.Multiline = true;
226      this.operatorLibraryOperatorsDescriptionTextBox.Name = "operatorLibraryOperatorsDescriptionTextBox";
227      this.operatorLibraryOperatorsDescriptionTextBox.ReadOnly = true;
228      this.operatorLibraryOperatorsDescriptionTextBox.ScrollBars = System.Windows.Forms.ScrollBars.Vertical;
229      this.operatorLibraryOperatorsDescriptionTextBox.Size = new System.Drawing.Size(582, 95);
230      this.operatorLibraryOperatorsDescriptionTextBox.TabIndex = 0;
231      //
232      // loadButton
233      //
234      this.loadButton.Anchor = ((System.Windows.Forms.AnchorStyles)((System.Windows.Forms.AnchorStyles.Top | System.Windows.Forms.AnchorStyles.Right)));
235      this.loadButton.Location = new System.Drawing.Point(519, 6);
236      this.loadButton.Name = "loadButton";
237      this.loadButton.Size = new System.Drawing.Size(75, 23);
238      this.loadButton.TabIndex = 0;
239      this.loadButton.Text = "&Load...";
240      this.loadButton.UseVisualStyleBackColor = true;
241      this.loadButton.Click += new System.EventHandler(this.loadButton_Click);
242      //
243      // builtinTabPage
244      //
245      this.builtinTabPage.Controls.Add(this.builtinOperatorsGroupBox);
246      this.builtinTabPage.Location = new System.Drawing.Point(4, 22);
247      this.builtinTabPage.Name = "builtinTabPage";
248      this.builtinTabPage.Padding = new System.Windows.Forms.Padding(3);
249      this.builtinTabPage.Size = new System.Drawing.Size(600, 396);
250      this.builtinTabPage.TabIndex = 1;
251      this.builtinTabPage.Text = "Built-In";
252      this.builtinTabPage.UseVisualStyleBackColor = true;
253      //
254      // openFileDialog
255      //
256      this.openFileDialog.DefaultExt = "hl";
257      this.openFileDialog.FileName = "library";
258      this.openFileDialog.Filter = "HeuristicLab files|*.hl|All files|*.*";
259      this.openFileDialog.Title = "Open file ...";
260      //
261      // AvailableOperatorsForm
262      //
263      this.AutoScaleDimensions = new System.Drawing.SizeF(6F, 13F);
264      this.AutoScaleMode = System.Windows.Forms.AutoScaleMode.Font;
265      this.ClientSize = new System.Drawing.Size(632, 446);
266      this.Controls.Add(this.tabControl);
267      this.DockAreas = ((WeifenLuo.WinFormsUI.Docking.DockAreas)(((((WeifenLuo.WinFormsUI.Docking.DockAreas.Float | WeifenLuo.WinFormsUI.Docking.DockAreas.DockLeft)
268                  | WeifenLuo.WinFormsUI.Docking.DockAreas.DockRight)
269                  | WeifenLuo.WinFormsUI.Docking.DockAreas.DockTop)
270                  | WeifenLuo.WinFormsUI.Docking.DockAreas.DockBottom)));
271      this.Icon = ((System.Drawing.Icon)(resources.GetObject("$this.Icon")));
272      this.Name = "AvailableOperatorsForm";
273      this.ShowHint = WeifenLuo.WinFormsUI.Docking.DockState.DockLeft;
274      this.ShowIcon = false;
275      this.ShowInTaskbar = false;
276      this.StartPosition = System.Windows.Forms.FormStartPosition.CenterParent;
277      this.TabText = "Available Operators";
278      this.Text = "Available Operators";
279      this.builtinOperatorsGroupBox.ResumeLayout(false);
280      this.splitContainer2.Panel1.ResumeLayout(false);
281      this.splitContainer2.Panel2.ResumeLayout(false);
282      this.splitContainer2.Panel2.PerformLayout();
283      this.splitContainer2.ResumeLayout(false);
284      this.tabControl.ResumeLayout(false);
285      this.operatorLibrariesTabPage.ResumeLayout(false);
286      this.operatorLibrariesTabPage.PerformLayout();
287      this.operatorLibraryOperatorsGroupBox.ResumeLayout(false);
288      this.splitContainer1.Panel1.ResumeLayout(false);
289      this.splitContainer1.Panel2.ResumeLayout(false);
290      this.splitContainer1.Panel2.PerformLayout();
291      this.splitContainer1.ResumeLayout(false);
292      this.builtinTabPage.ResumeLayout(false);
293      this.ResumeLayout(false);
294
295    }
296
297    #endregion
298
299    private System.Windows.Forms.GroupBox builtinOperatorsGroupBox;
300    private System.Windows.Forms.TabControl tabControl;
301    private System.Windows.Forms.TabPage operatorLibrariesTabPage;
302    private System.Windows.Forms.TabPage builtinTabPage;
303    private System.Windows.Forms.TextBox operatorLibraryTextBox;
304    private System.Windows.Forms.Label operatorLibraryLabel;
305    private System.Windows.Forms.GroupBox operatorLibraryOperatorsGroupBox;
306    private System.Windows.Forms.TreeView operatorLibraryOperatorsTreeView;
307    private System.Windows.Forms.Button loadButton;
308    private System.Windows.Forms.OpenFileDialog openFileDialog;
309    private System.Windows.Forms.ToolTip toolTip;
310    private System.Windows.Forms.TreeView builtinOperatorsTreeView;
311    private System.Windows.Forms.SplitContainer splitContainer2;
312    private System.Windows.Forms.TextBox builtinOperatorsDescriptionTextBox;
313    private System.Windows.Forms.SplitContainer splitContainer1;
314    private System.Windows.Forms.TextBox operatorLibraryOperatorsDescriptionTextBox;
315  }
316}
Note: See TracBrowser for help on using the repository browser.