source: branches/ProgrammableProblem/HeuristicLab.Problems.Programmable.Views/3.3/MultiEncodingView.Designer.cs @ 11952

Last change on this file since 11952 was 11952, checked in by abeham, 8 years ago

#2174:

  • Made encodingOperators hash set an ItemSet and private
  • Added a parameter that displays the operators of an encoding (fixedvalue showing a readonly version of the itemset)
  • Added protected methods to Encoding to add and remove operators
  • Adapted MultiEncodingView to derive from ParameterizedNamedItemView
  • Added name of MultiEncoding itself to list of forbidden names
File size: 12.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.Problems.Programmable.Views {
23  partial class MultiEncodingView {
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.encodingsListView = new System.Windows.Forms.ListView();
48      this.encodingNameColumnHeader = ((System.Windows.Forms.ColumnHeader)(new System.Windows.Forms.ColumnHeader()));
49      this.encodingTypeColumnHeader = ((System.Windows.Forms.ColumnHeader)(new System.Windows.Forms.ColumnHeader()));
50      this.addEncodingButton = new System.Windows.Forms.Button();
51      this.removeEncodingButton = new System.Windows.Forms.Button();
52      this.splitContainer = new System.Windows.Forms.SplitContainer();
53      this.encodingDetailsGroupBox = new System.Windows.Forms.GroupBox();
54      this.encodingDetailViewHost = new HeuristicLab.MainForm.WindowsForms.ViewHost();
55      this.encodingsGroupBox = new System.Windows.Forms.GroupBox();
56      this.tabControl = new System.Windows.Forms.TabControl();
57      this.encodingsTabPage = new System.Windows.Forms.TabPage();
58      this.parametersTabPage = new System.Windows.Forms.TabPage();
59      ((System.ComponentModel.ISupportInitialize)(this.errorProvider)).BeginInit();
60      ((System.ComponentModel.ISupportInitialize)(this.splitContainer)).BeginInit();
61      this.splitContainer.Panel1.SuspendLayout();
62      this.splitContainer.Panel2.SuspendLayout();
63      this.splitContainer.SuspendLayout();
64      this.encodingDetailsGroupBox.SuspendLayout();
65      this.encodingsGroupBox.SuspendLayout();
66      this.tabControl.SuspendLayout();
67      this.encodingsTabPage.SuspendLayout();
68      this.SuspendLayout();
69      //
70      // nameTextBox
71      //
72      this.errorProvider.SetIconAlignment(this.nameTextBox, System.Windows.Forms.ErrorIconAlignment.MiddleLeft);
73      this.errorProvider.SetIconPadding(this.nameTextBox, 2);
74      this.nameTextBox.Size = new System.Drawing.Size(583, 20);
75      //
76      // infoLabel
77      //
78      this.infoLabel.Location = new System.Drawing.Point(647, 3);
79      //
80      // encodingsListView
81      //
82      this.encodingsListView.Anchor = ((System.Windows.Forms.AnchorStyles)((((System.Windows.Forms.AnchorStyles.Top | System.Windows.Forms.AnchorStyles.Bottom)
83            | System.Windows.Forms.AnchorStyles.Left)
84            | System.Windows.Forms.AnchorStyles.Right)));
85      this.encodingsListView.Columns.AddRange(new System.Windows.Forms.ColumnHeader[] {
86            this.encodingNameColumnHeader,
87            this.encodingTypeColumnHeader});
88      this.encodingsListView.HeaderStyle = System.Windows.Forms.ColumnHeaderStyle.Nonclickable;
89      this.encodingsListView.HideSelection = false;
90      this.encodingsListView.Location = new System.Drawing.Point(3, 33);
91      this.encodingsListView.MultiSelect = false;
92      this.encodingsListView.Name = "encodingsListView";
93      this.encodingsListView.ShowGroups = false;
94      this.encodingsListView.Size = new System.Drawing.Size(241, 384);
95      this.encodingsListView.TabIndex = 3;
96      this.encodingsListView.UseCompatibleStateImageBehavior = false;
97      this.encodingsListView.View = System.Windows.Forms.View.Details;
98      this.encodingsListView.SelectedIndexChanged += new System.EventHandler(this.encodingsListView_SelectedIndexChanged);
99      //
100      // encodingNameColumnHeader
101      //
102      this.encodingNameColumnHeader.Text = "Name";
103      this.encodingNameColumnHeader.Width = 100;
104      //
105      // encodingTypeColumnHeader
106      //
107      this.encodingTypeColumnHeader.Text = "Type";
108      this.encodingTypeColumnHeader.Width = 136;
109      //
110      // addEncodingButton
111      //
112      this.addEncodingButton.Location = new System.Drawing.Point(3, 3);
113      this.addEncodingButton.Name = "addEncodingButton";
114      this.addEncodingButton.Size = new System.Drawing.Size(24, 24);
115      this.addEncodingButton.TabIndex = 4;
116      this.addEncodingButton.Text = "+";
117      this.addEncodingButton.UseVisualStyleBackColor = true;
118      this.addEncodingButton.Click += new System.EventHandler(this.addEncodingButton_Click);
119      //
120      // removeEncodingButton
121      //
122      this.removeEncodingButton.Location = new System.Drawing.Point(33, 3);
123      this.removeEncodingButton.Name = "removeEncodingButton";
124      this.removeEncodingButton.Size = new System.Drawing.Size(24, 24);
125      this.removeEncodingButton.TabIndex = 4;
126      this.removeEncodingButton.Text = "x";
127      this.removeEncodingButton.UseVisualStyleBackColor = true;
128      this.removeEncodingButton.Click += new System.EventHandler(this.removeEncodingButton_Click);
129      //
130      // splitContainer
131      //
132      this.splitContainer.Dock = System.Windows.Forms.DockStyle.Fill;
133      this.splitContainer.FixedPanel = System.Windows.Forms.FixedPanel.Panel1;
134      this.splitContainer.Location = new System.Drawing.Point(3, 16);
135      this.splitContainer.Name = "splitContainer";
136      //
137      // splitContainer.Panel1
138      //
139      this.splitContainer.Panel1.Controls.Add(this.encodingsListView);
140      this.splitContainer.Panel1.Controls.Add(this.removeEncodingButton);
141      this.splitContainer.Panel1.Controls.Add(this.addEncodingButton);
142      //
143      // splitContainer.Panel2
144      //
145      this.splitContainer.Panel2.Controls.Add(this.encodingDetailsGroupBox);
146      this.splitContainer.Size = new System.Drawing.Size(643, 420);
147      this.splitContainer.SplitterDistance = 247;
148      this.splitContainer.TabIndex = 5;
149      //
150      // encodingDetailsGroupBox
151      //
152      this.encodingDetailsGroupBox.Anchor = ((System.Windows.Forms.AnchorStyles)((((System.Windows.Forms.AnchorStyles.Top | System.Windows.Forms.AnchorStyles.Bottom)
153            | System.Windows.Forms.AnchorStyles.Left)
154            | System.Windows.Forms.AnchorStyles.Right)));
155      this.encodingDetailsGroupBox.Controls.Add(this.encodingDetailViewHost);
156      this.encodingDetailsGroupBox.Location = new System.Drawing.Point(3, 27);
157      this.encodingDetailsGroupBox.Name = "encodingDetailsGroupBox";
158      this.encodingDetailsGroupBox.Size = new System.Drawing.Size(386, 390);
159      this.encodingDetailsGroupBox.TabIndex = 1;
160      this.encodingDetailsGroupBox.TabStop = false;
161      this.encodingDetailsGroupBox.Text = "Details";
162      //
163      // encodingDetailViewHost
164      //
165      this.encodingDetailViewHost.Caption = "View";
166      this.encodingDetailViewHost.Content = null;
167      this.encodingDetailViewHost.Dock = System.Windows.Forms.DockStyle.Fill;
168      this.encodingDetailViewHost.Enabled = false;
169      this.encodingDetailViewHost.Location = new System.Drawing.Point(3, 16);
170      this.encodingDetailViewHost.Name = "encodingDetailViewHost";
171      this.encodingDetailViewHost.ReadOnly = false;
172      this.encodingDetailViewHost.Size = new System.Drawing.Size(380, 371);
173      this.encodingDetailViewHost.TabIndex = 0;
174      this.encodingDetailViewHost.ViewsLabelVisible = true;
175      this.encodingDetailViewHost.ViewType = null;
176      //
177      // encodingsGroupBox
178      //
179      this.encodingsGroupBox.Controls.Add(this.splitContainer);
180      this.encodingsGroupBox.Dock = System.Windows.Forms.DockStyle.Fill;
181      this.encodingsGroupBox.Location = new System.Drawing.Point(3, 3);
182      this.encodingsGroupBox.Name = "encodingsGroupBox";
183      this.encodingsGroupBox.Size = new System.Drawing.Size(649, 439);
184      this.encodingsGroupBox.TabIndex = 6;
185      this.encodingsGroupBox.TabStop = false;
186      this.encodingsGroupBox.Text = "Encodings";
187      //
188      // tabControl
189      //
190      this.tabControl.Anchor = ((System.Windows.Forms.AnchorStyles)((((System.Windows.Forms.AnchorStyles.Top | System.Windows.Forms.AnchorStyles.Bottom)
191            | System.Windows.Forms.AnchorStyles.Left)
192            | System.Windows.Forms.AnchorStyles.Right)));
193      this.tabControl.Controls.Add(this.encodingsTabPage);
194      this.tabControl.Controls.Add(this.parametersTabPage);
195      this.tabControl.Location = new System.Drawing.Point(0, 26);
196      this.tabControl.Name = "tabControl";
197      this.tabControl.SelectedIndex = 0;
198      this.tabControl.Size = new System.Drawing.Size(663, 471);
199      this.tabControl.TabIndex = 7;
200      //
201      // encodingsTabPage
202      //
203      this.encodingsTabPage.Controls.Add(this.encodingsGroupBox);
204      this.encodingsTabPage.Location = new System.Drawing.Point(4, 22);
205      this.encodingsTabPage.Name = "encodingsTabPage";
206      this.encodingsTabPage.Padding = new System.Windows.Forms.Padding(3);
207      this.encodingsTabPage.Size = new System.Drawing.Size(655, 445);
208      this.encodingsTabPage.TabIndex = 0;
209      this.encodingsTabPage.Text = "Encodings";
210      this.encodingsTabPage.UseVisualStyleBackColor = true;
211      //
212      // parametersTabPage
213      //
214      this.parametersTabPage.Location = new System.Drawing.Point(4, 22);
215      this.parametersTabPage.Name = "parametersTabPage";
216      this.parametersTabPage.Padding = new System.Windows.Forms.Padding(3);
217      this.parametersTabPage.Size = new System.Drawing.Size(655, 445);
218      this.parametersTabPage.TabIndex = 1;
219      this.parametersTabPage.Text = "Parameters";
220      this.parametersTabPage.UseVisualStyleBackColor = true;
221      //
222      // MultiEncodingView
223      //
224      this.AutoScaleMode = System.Windows.Forms.AutoScaleMode.Inherit;
225      this.Controls.Add(this.tabControl);
226      this.Name = "MultiEncodingView";
227      this.Size = new System.Drawing.Size(666, 497);
228      this.Controls.SetChildIndex(this.parameterCollectionView, 0);
229      this.Controls.SetChildIndex(this.nameLabel, 0);
230      this.Controls.SetChildIndex(this.nameTextBox, 0);
231      this.Controls.SetChildIndex(this.infoLabel, 0);
232      this.Controls.SetChildIndex(this.tabControl, 0);
233      ((System.ComponentModel.ISupportInitialize)(this.errorProvider)).EndInit();
234      this.splitContainer.Panel1.ResumeLayout(false);
235      this.splitContainer.Panel2.ResumeLayout(false);
236      ((System.ComponentModel.ISupportInitialize)(this.splitContainer)).EndInit();
237      this.splitContainer.ResumeLayout(false);
238      this.encodingDetailsGroupBox.ResumeLayout(false);
239      this.encodingsGroupBox.ResumeLayout(false);
240      this.tabControl.ResumeLayout(false);
241      this.encodingsTabPage.ResumeLayout(false);
242      this.ResumeLayout(false);
243      this.PerformLayout();
244
245    }
246
247    #endregion
248
249    private System.Windows.Forms.ListView encodingsListView;
250    private System.Windows.Forms.Button addEncodingButton;
251    private System.Windows.Forms.Button removeEncodingButton;
252    private System.Windows.Forms.SplitContainer splitContainer;
253    private System.Windows.Forms.ColumnHeader encodingNameColumnHeader;
254    private System.Windows.Forms.ColumnHeader encodingTypeColumnHeader;
255    private System.Windows.Forms.GroupBox encodingDetailsGroupBox;
256    private MainForm.WindowsForms.ViewHost encodingDetailViewHost;
257    private System.Windows.Forms.GroupBox encodingsGroupBox;
258    private System.Windows.Forms.TabControl tabControl;
259    private System.Windows.Forms.TabPage encodingsTabPage;
260    private System.Windows.Forms.TabPage parametersTabPage;
261  }
262}
Note: See TracBrowser for help on using the repository browser.