Free cookie consent management tool by TermsFeed Policy Generator

source: branches/ScatterSearch (trunk integration)/HeuristicLab.PluginInfrastructure/3.3/Starter/AboutDialog.Designer.cs @ 8086

Last change on this file since 8086 was 8086, checked in by jkarder, 12 years ago

#1331:

  • synced branch with trunk
  • added custom interface (ISimilarityBasedOperator) to mark operators that conduct similarity calculation
  • similarity calculators are now parameterized by the algorithm
  • deleted SolutionPool2TierUpdateMethod
  • deleted KnapsackMultipleGuidesPathRelinker
  • moved IImprovementOperator, IPathRelinker and ISimilarityCalculator to HeuristicLab.Optimization
  • added parameter descriptions
  • fixed plugin references
  • fixed count of EvaluatedSolutions
  • fixed check for duplicate solutions
  • minor code improvements
File size: 15.1 KB
Line 
1#region License Information
2/* HeuristicLab
3 * Copyright (C) 2002-2012 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.PluginInfrastructure.Starter {
23  partial class AboutDialog {
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      this.okButton = new System.Windows.Forms.Button();
49      this.pluginListView = new System.Windows.Forms.ListView();
50      this.pluginNameColumnHeader = new System.Windows.Forms.ColumnHeader();
51      this.pluginVersionColumnHeader = new System.Windows.Forms.ColumnHeader();
52      this.pluginDescriptionColumnHeader = new System.Windows.Forms.ColumnHeader();
53      this.imageList = new System.Windows.Forms.ImageList(this.components);
54      this.pictureBox = new System.Windows.Forms.PictureBox();
55      this.label = new System.Windows.Forms.Label();
56      this.label1 = new System.Windows.Forms.Label();
57      this.label3 = new System.Windows.Forms.Label();
58      this.productTextBox = new System.Windows.Forms.TextBox();
59      this.versionTextBox = new System.Windows.Forms.TextBox();
60      this.copyrightTextBox = new System.Windows.Forms.TextBox();
61      this.pluginsGroupBox = new System.Windows.Forms.GroupBox();
62      this.licenseTextBox = new System.Windows.Forms.RichTextBox();
63      this.label2 = new System.Windows.Forms.Label();
64      this.panel1 = new System.Windows.Forms.Panel();
65      this.label4 = new System.Windows.Forms.Label();
66      this.webLinkLabel = new System.Windows.Forms.LinkLabel();
67      this.mailLinkLabel = new System.Windows.Forms.LinkLabel();
68      ((System.ComponentModel.ISupportInitialize)(this.pictureBox)).BeginInit();
69      this.pluginsGroupBox.SuspendLayout();
70      this.panel1.SuspendLayout();
71      this.SuspendLayout();
72      //
73      // okButton
74      //
75      this.okButton.Anchor = ((System.Windows.Forms.AnchorStyles)((System.Windows.Forms.AnchorStyles.Bottom | System.Windows.Forms.AnchorStyles.Right)));
76      this.okButton.DialogResult = System.Windows.Forms.DialogResult.OK;
77      this.okButton.Location = new System.Drawing.Point(538, 13);
78      this.okButton.Name = "okButton";
79      this.okButton.Size = new System.Drawing.Size(75, 23);
80      this.okButton.TabIndex = 0;
81      this.okButton.Text = "&Close";
82      this.okButton.UseVisualStyleBackColor = true;
83      this.okButton.Click += new System.EventHandler(this.okButton_Click);
84      //
85      // pluginListView
86      //
87      this.pluginListView.Anchor = ((System.Windows.Forms.AnchorStyles)((((System.Windows.Forms.AnchorStyles.Top | System.Windows.Forms.AnchorStyles.Bottom)
88                  | System.Windows.Forms.AnchorStyles.Left)
89                  | System.Windows.Forms.AnchorStyles.Right)));
90      this.pluginListView.Columns.AddRange(new System.Windows.Forms.ColumnHeader[] {
91            this.pluginNameColumnHeader,
92            this.pluginVersionColumnHeader,
93            this.pluginDescriptionColumnHeader});
94      this.pluginListView.Location = new System.Drawing.Point(6, 19);
95      this.pluginListView.Name = "pluginListView";
96      this.pluginListView.ShowGroups = false;
97      this.pluginListView.Size = new System.Drawing.Size(589, 201);
98      this.pluginListView.SmallImageList = this.imageList;
99      this.pluginListView.Sorting = System.Windows.Forms.SortOrder.Ascending;
100      this.pluginListView.TabIndex = 0;
101      this.pluginListView.UseCompatibleStateImageBehavior = false;
102      this.pluginListView.View = System.Windows.Forms.View.Details;
103      this.pluginListView.ItemActivate += new System.EventHandler(this.pluginListView_ItemActivate);
104      //
105      // pluginNameColumnHeader
106      //
107      this.pluginNameColumnHeader.Text = "Name";
108      //
109      // pluginVersionColumnHeader
110      //
111      this.pluginVersionColumnHeader.Text = "Version";
112      //
113      // pluginDescriptionColumnHeader
114      //
115      this.pluginDescriptionColumnHeader.Text = "Description";
116      //
117      // imageList
118      //
119      this.imageList.ColorDepth = System.Windows.Forms.ColorDepth.Depth8Bit;
120      this.imageList.ImageSize = new System.Drawing.Size(16, 16);
121      this.imageList.TransparentColor = System.Drawing.Color.Transparent;
122      //
123      // pictureBox
124      //
125      this.pictureBox.Location = new System.Drawing.Point(12, 12);
126      this.pictureBox.Name = "pictureBox";
127      this.pictureBox.Size = new System.Drawing.Size(160, 180);
128      this.pictureBox.SizeMode = System.Windows.Forms.PictureBoxSizeMode.CenterImage;
129      this.pictureBox.TabIndex = 2;
130      this.pictureBox.TabStop = false;
131      //
132      // label
133      //
134      this.label.AutoSize = true;
135      this.label.Location = new System.Drawing.Point(183, 12);
136      this.label.Name = "label";
137      this.label.Size = new System.Drawing.Size(47, 13);
138      this.label.TabIndex = 1;
139      this.label.Text = "Product:";
140      //
141      // label1
142      //
143      this.label1.AutoSize = true;
144      this.label1.Location = new System.Drawing.Point(183, 31);
145      this.label1.Name = "label1";
146      this.label1.Size = new System.Drawing.Size(45, 13);
147      this.label1.TabIndex = 3;
148      this.label1.Text = "Version:";
149      //
150      // label3
151      //
152      this.label3.AutoSize = true;
153      this.label3.Location = new System.Drawing.Point(183, 50);
154      this.label3.Name = "label3";
155      this.label3.Size = new System.Drawing.Size(54, 13);
156      this.label3.TabIndex = 5;
157      this.label3.Text = "Copyright:";
158      //
159      // productTextBox
160      //
161      this.productTextBox.BackColor = System.Drawing.SystemColors.HighlightText;
162      this.productTextBox.BorderStyle = System.Windows.Forms.BorderStyle.None;
163      this.productTextBox.Font = new System.Drawing.Font("Microsoft Sans Serif", 8.25F, System.Drawing.FontStyle.Bold, System.Drawing.GraphicsUnit.Point, ((byte)(0)));
164      this.productTextBox.Location = new System.Drawing.Point(258, 12);
165      this.productTextBox.Name = "productTextBox";
166      this.productTextBox.ReadOnly = true;
167      this.productTextBox.Size = new System.Drawing.Size(355, 13);
168      this.productTextBox.TabIndex = 2;
169      this.productTextBox.Text = "HeuristicLab";
170      //
171      // versionTextBox
172      //
173      this.versionTextBox.BackColor = System.Drawing.SystemColors.HighlightText;
174      this.versionTextBox.BorderStyle = System.Windows.Forms.BorderStyle.None;
175      this.versionTextBox.Location = new System.Drawing.Point(258, 31);
176      this.versionTextBox.Name = "versionTextBox";
177      this.versionTextBox.ReadOnly = true;
178      this.versionTextBox.Size = new System.Drawing.Size(355, 13);
179      this.versionTextBox.TabIndex = 4;
180      this.versionTextBox.Text = "1.0";
181      //
182      // copyrightTextBox
183      //
184      this.copyrightTextBox.BackColor = System.Drawing.SystemColors.HighlightText;
185      this.copyrightTextBox.BorderStyle = System.Windows.Forms.BorderStyle.None;
186      this.copyrightTextBox.Location = new System.Drawing.Point(258, 50);
187      this.copyrightTextBox.Name = "copyrightTextBox";
188      this.copyrightTextBox.ReadOnly = true;
189      this.copyrightTextBox.Size = new System.Drawing.Size(355, 13);
190      this.copyrightTextBox.TabIndex = 6;
191      this.copyrightTextBox.Text = "(C)";
192      //
193      // pluginsGroupBox
194      //
195      this.pluginsGroupBox.Anchor = ((System.Windows.Forms.AnchorStyles)((((System.Windows.Forms.AnchorStyles.Top | System.Windows.Forms.AnchorStyles.Bottom)
196                  | System.Windows.Forms.AnchorStyles.Left)
197                  | System.Windows.Forms.AnchorStyles.Right)));
198      this.pluginsGroupBox.Controls.Add(this.pluginListView);
199      this.pluginsGroupBox.Location = new System.Drawing.Point(12, 306);
200      this.pluginsGroupBox.Name = "pluginsGroupBox";
201      this.pluginsGroupBox.Size = new System.Drawing.Size(601, 226);
202      this.pluginsGroupBox.TabIndex = 12;
203      this.pluginsGroupBox.TabStop = false;
204      this.pluginsGroupBox.Text = "Plugins";
205      //
206      // licenseTextBox
207      //
208      this.licenseTextBox.Anchor = ((System.Windows.Forms.AnchorStyles)(((System.Windows.Forms.AnchorStyles.Top | System.Windows.Forms.AnchorStyles.Left)
209                  | System.Windows.Forms.AnchorStyles.Right)));
210      this.licenseTextBox.BackColor = System.Drawing.SystemColors.HighlightText;
211      this.licenseTextBox.BorderStyle = System.Windows.Forms.BorderStyle.None;
212      this.licenseTextBox.Location = new System.Drawing.Point(186, 115);
213      this.licenseTextBox.Name = "licenseTextBox";
214      this.licenseTextBox.ReadOnly = true;
215      this.licenseTextBox.Size = new System.Drawing.Size(427, 185);
216      this.licenseTextBox.TabIndex = 11;
217      this.licenseTextBox.Text = "License Text";
218      this.licenseTextBox.WordWrap = false;
219      this.licenseTextBox.LinkClicked += new System.Windows.Forms.LinkClickedEventHandler(this.licenseTextBox_LinkClicked);
220      //
221      // label2
222      //
223      this.label2.AutoSize = true;
224      this.label2.Location = new System.Drawing.Point(183, 69);
225      this.label2.Name = "label2";
226      this.label2.Size = new System.Drawing.Size(49, 13);
227      this.label2.TabIndex = 7;
228      this.label2.Text = "Website:";
229      //
230      // panel1
231      //
232      this.panel1.Anchor = ((System.Windows.Forms.AnchorStyles)(((System.Windows.Forms.AnchorStyles.Bottom | System.Windows.Forms.AnchorStyles.Left)
233                  | System.Windows.Forms.AnchorStyles.Right)));
234      this.panel1.BackColor = System.Drawing.SystemColors.Control;
235      this.panel1.Controls.Add(this.okButton);
236      this.panel1.Location = new System.Drawing.Point(0, 538);
237      this.panel1.Name = "panel1";
238      this.panel1.Size = new System.Drawing.Size(626, 48);
239      this.panel1.TabIndex = 0;
240      //
241      // label4
242      //
243      this.label4.AutoSize = true;
244      this.label4.Location = new System.Drawing.Point(183, 88);
245      this.label4.Name = "label4";
246      this.label4.Size = new System.Drawing.Size(47, 13);
247      this.label4.TabIndex = 9;
248      this.label4.Text = "Contact:";
249      //
250      // webLinkLabel
251      //
252      this.webLinkLabel.AutoSize = true;
253      this.webLinkLabel.Location = new System.Drawing.Point(255, 69);
254      this.webLinkLabel.Name = "webLinkLabel";
255      this.webLinkLabel.Size = new System.Drawing.Size(135, 13);
256      this.webLinkLabel.TabIndex = 8;
257      this.webLinkLabel.TabStop = true;
258      this.webLinkLabel.Text = "http://dev.heuristiclab.com";
259      this.webLinkLabel.LinkClicked += new System.Windows.Forms.LinkLabelLinkClickedEventHandler(this.webLinkLabel_LinkClicked);
260      //
261      // mailLinkLabel
262      //
263      this.mailLinkLabel.AutoSize = true;
264      this.mailLinkLabel.Location = new System.Drawing.Point(255, 88);
265      this.mailLinkLabel.Name = "mailLinkLabel";
266      this.mailLinkLabel.Size = new System.Drawing.Size(129, 13);
267      this.mailLinkLabel.TabIndex = 10;
268      this.mailLinkLabel.TabStop = true;
269      this.mailLinkLabel.Text = "support@heuristiclab.com";
270      this.mailLinkLabel.LinkClicked += new System.Windows.Forms.LinkLabelLinkClickedEventHandler(this.mailLinkLabel_LinkClicked);
271      //
272      // AboutDialog
273      //
274      this.AcceptButton = this.okButton;
275      this.AutoScaleDimensions = new System.Drawing.SizeF(6F, 13F);
276      this.AutoScaleMode = System.Windows.Forms.AutoScaleMode.Inherit;
277      this.BackColor = System.Drawing.SystemColors.Window;
278      this.CancelButton = this.okButton;
279      this.ClientSize = new System.Drawing.Size(625, 586);
280      this.Controls.Add(this.mailLinkLabel);
281      this.Controls.Add(this.webLinkLabel);
282      this.Controls.Add(this.label4);
283      this.Controls.Add(this.panel1);
284      this.Controls.Add(this.label2);
285      this.Controls.Add(this.licenseTextBox);
286      this.Controls.Add(this.pluginsGroupBox);
287      this.Controls.Add(this.copyrightTextBox);
288      this.Controls.Add(this.versionTextBox);
289      this.Controls.Add(this.productTextBox);
290      this.Controls.Add(this.label3);
291      this.Controls.Add(this.label1);
292      this.Controls.Add(this.label);
293      this.Controls.Add(this.pictureBox);
294      this.Icon = global::HeuristicLab.PluginInfrastructure.Resources.HeuristicLab;
295      this.MaximizeBox = false;
296      this.MinimizeBox = false;
297      this.Name = "AboutDialog";
298      this.StartPosition = System.Windows.Forms.FormStartPosition.CenterParent;
299      this.Text = "About HeuristicLab";
300      ((System.ComponentModel.ISupportInitialize)(this.pictureBox)).EndInit();
301      this.pluginsGroupBox.ResumeLayout(false);
302      this.panel1.ResumeLayout(false);
303      this.ResumeLayout(false);
304      this.PerformLayout();
305
306    }
307
308    #endregion
309
310    private System.Windows.Forms.Button okButton;
311    private System.Windows.Forms.ListView pluginListView;
312    private System.Windows.Forms.ImageList imageList;
313    private System.Windows.Forms.ColumnHeader pluginNameColumnHeader;
314    private System.Windows.Forms.ColumnHeader pluginVersionColumnHeader;
315    private System.Windows.Forms.ColumnHeader pluginDescriptionColumnHeader;
316    private System.Windows.Forms.PictureBox pictureBox;
317    private System.Windows.Forms.Label label;
318    private System.Windows.Forms.Label label1;
319    private System.Windows.Forms.Label label3;
320    private System.Windows.Forms.TextBox productTextBox;
321    private System.Windows.Forms.TextBox versionTextBox;
322    private System.Windows.Forms.TextBox copyrightTextBox;
323    private System.Windows.Forms.GroupBox pluginsGroupBox;
324    private System.Windows.Forms.RichTextBox licenseTextBox;
325    private System.Windows.Forms.Label label2;
326    private System.Windows.Forms.Panel panel1;
327    private System.Windows.Forms.Label label4;
328    private System.Windows.Forms.LinkLabel webLinkLabel;
329    private System.Windows.Forms.LinkLabel mailLinkLabel;
330  }
331}
Note: See TracBrowser for help on using the repository browser.