[3742] | 1 | #region License Information
|
---|
| 2 | /* HeuristicLab
|
---|
[12012] | 3 | * Copyright (C) 2002-2015 Heuristic and Evolutionary Algorithms Laboratory (HEAL)
|
---|
[3742] | 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 |
|
---|
[13338] | 22 | namespace HeuristicLab.PluginInfrastructure.UI {
|
---|
[13360] | 23 | partial class PluginInformationDialog {
|
---|
[3736] | 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();
|
---|
[13360] | 50 | this.pluginNameColumnHeader = ((System.Windows.Forms.ColumnHeader)(new System.Windows.Forms.ColumnHeader()));
|
---|
| 51 | this.pluginVersionColumnHeader = ((System.Windows.Forms.ColumnHeader)(new System.Windows.Forms.ColumnHeader()));
|
---|
| 52 | this.pluginDescriptionColumnHeader = ((System.Windows.Forms.ColumnHeader)(new System.Windows.Forms.ColumnHeader()));
|
---|
[3736] | 53 | this.imageList = new System.Windows.Forms.ImageList(this.components);
|
---|
| 54 | this.productTextBox = new System.Windows.Forms.TextBox();
|
---|
[13360] | 55 | this.contactTextBox = new System.Windows.Forms.TextBox();
|
---|
| 56 | this.textBox = new System.Windows.Forms.RichTextBox();
|
---|
[3736] | 57 | this.label2 = new System.Windows.Forms.Label();
|
---|
| 58 | this.panel1 = new System.Windows.Forms.Panel();
|
---|
| 59 | this.label4 = new System.Windows.Forms.Label();
|
---|
[3761] | 60 | this.webLinkLabel = new System.Windows.Forms.LinkLabel();
|
---|
| 61 | this.mailLinkLabel = new System.Windows.Forms.LinkLabel();
|
---|
[13360] | 62 | this.label3 = new System.Windows.Forms.Label();
|
---|
| 63 | this.label1 = new System.Windows.Forms.Label();
|
---|
| 64 | this.versionTextBox = new System.Windows.Forms.TextBox();
|
---|
| 65 | this.label = new System.Windows.Forms.Label();
|
---|
| 66 | this.panel2 = new System.Windows.Forms.Panel();
|
---|
[3736] | 67 | this.panel1.SuspendLayout();
|
---|
[13360] | 68 | this.panel2.SuspendLayout();
|
---|
[3736] | 69 | this.SuspendLayout();
|
---|
| 70 | //
|
---|
| 71 | // okButton
|
---|
| 72 | //
|
---|
| 73 | this.okButton.Anchor = ((System.Windows.Forms.AnchorStyles)((System.Windows.Forms.AnchorStyles.Bottom | System.Windows.Forms.AnchorStyles.Right)));
|
---|
[3761] | 74 | this.okButton.DialogResult = System.Windows.Forms.DialogResult.OK;
|
---|
[13360] | 75 | this.okButton.Location = new System.Drawing.Point(800, 13);
|
---|
[3736] | 76 | this.okButton.Name = "okButton";
|
---|
| 77 | this.okButton.Size = new System.Drawing.Size(75, 23);
|
---|
| 78 | this.okButton.TabIndex = 0;
|
---|
[3761] | 79 | this.okButton.Text = "&Close";
|
---|
[3736] | 80 | this.okButton.UseVisualStyleBackColor = true;
|
---|
| 81 | this.okButton.Click += new System.EventHandler(this.okButton_Click);
|
---|
| 82 | //
|
---|
| 83 | // pluginListView
|
---|
| 84 | //
|
---|
[13360] | 85 | this.pluginListView.Activation = System.Windows.Forms.ItemActivation.OneClick;
|
---|
| 86 | this.pluginListView.Anchor = ((System.Windows.Forms.AnchorStyles)(((System.Windows.Forms.AnchorStyles.Top | System.Windows.Forms.AnchorStyles.Bottom)
|
---|
| 87 | | System.Windows.Forms.AnchorStyles.Left)));
|
---|
| 88 | this.pluginListView.BorderStyle = System.Windows.Forms.BorderStyle.None;
|
---|
[3736] | 89 | this.pluginListView.Columns.AddRange(new System.Windows.Forms.ColumnHeader[] {
|
---|
| 90 | this.pluginNameColumnHeader,
|
---|
| 91 | this.pluginVersionColumnHeader,
|
---|
| 92 | this.pluginDescriptionColumnHeader});
|
---|
[13360] | 93 | this.pluginListView.FullRowSelect = true;
|
---|
| 94 | this.pluginListView.GridLines = true;
|
---|
| 95 | this.pluginListView.HeaderStyle = System.Windows.Forms.ColumnHeaderStyle.None;
|
---|
| 96 | this.pluginListView.HideSelection = false;
|
---|
| 97 | this.pluginListView.Location = new System.Drawing.Point(12, 12);
|
---|
| 98 | this.pluginListView.MultiSelect = false;
|
---|
[3736] | 99 | this.pluginListView.Name = "pluginListView";
|
---|
| 100 | this.pluginListView.ShowGroups = false;
|
---|
[13360] | 101 | this.pluginListView.Size = new System.Drawing.Size(303, 514);
|
---|
[3736] | 102 | this.pluginListView.SmallImageList = this.imageList;
|
---|
| 103 | this.pluginListView.Sorting = System.Windows.Forms.SortOrder.Ascending;
|
---|
[3761] | 104 | this.pluginListView.TabIndex = 0;
|
---|
[13360] | 105 | this.pluginListView.TileSize = new System.Drawing.Size(300, 60);
|
---|
[3736] | 106 | this.pluginListView.UseCompatibleStateImageBehavior = false;
|
---|
[13360] | 107 | this.pluginListView.View = System.Windows.Forms.View.Tile;
|
---|
[3742] | 108 | this.pluginListView.ItemActivate += new System.EventHandler(this.pluginListView_ItemActivate);
|
---|
[13360] | 109 | this.pluginListView.ItemSelectionChanged += new System.Windows.Forms.ListViewItemSelectionChangedEventHandler(this.pluginListView_ItemSelectionChanged);
|
---|
| 110 | this.pluginListView.ClientSizeChanged += new System.EventHandler(this.pluginListView_ClientSizeChanged);
|
---|
[3736] | 111 | //
|
---|
| 112 | // pluginNameColumnHeader
|
---|
| 113 | //
|
---|
| 114 | this.pluginNameColumnHeader.Text = "Name";
|
---|
| 115 | //
|
---|
| 116 | // pluginVersionColumnHeader
|
---|
| 117 | //
|
---|
| 118 | this.pluginVersionColumnHeader.Text = "Version";
|
---|
| 119 | //
|
---|
| 120 | // pluginDescriptionColumnHeader
|
---|
| 121 | //
|
---|
| 122 | this.pluginDescriptionColumnHeader.Text = "Description";
|
---|
| 123 | //
|
---|
| 124 | // imageList
|
---|
| 125 | //
|
---|
| 126 | this.imageList.ColorDepth = System.Windows.Forms.ColorDepth.Depth8Bit;
|
---|
| 127 | this.imageList.ImageSize = new System.Drawing.Size(16, 16);
|
---|
| 128 | this.imageList.TransparentColor = System.Drawing.Color.Transparent;
|
---|
| 129 | //
|
---|
| 130 | // productTextBox
|
---|
| 131 | //
|
---|
| 132 | this.productTextBox.BackColor = System.Drawing.SystemColors.HighlightText;
|
---|
| 133 | this.productTextBox.BorderStyle = System.Windows.Forms.BorderStyle.None;
|
---|
| 134 | this.productTextBox.Font = new System.Drawing.Font("Microsoft Sans Serif", 8.25F, System.Drawing.FontStyle.Bold, System.Drawing.GraphicsUnit.Point, ((byte)(0)));
|
---|
[13360] | 135 | this.productTextBox.Location = new System.Drawing.Point(87, 3);
|
---|
[3736] | 136 | this.productTextBox.Name = "productTextBox";
|
---|
| 137 | this.productTextBox.ReadOnly = true;
|
---|
| 138 | this.productTextBox.Size = new System.Drawing.Size(355, 13);
|
---|
[3761] | 139 | this.productTextBox.TabIndex = 2;
|
---|
[3736] | 140 | this.productTextBox.Text = "HeuristicLab";
|
---|
| 141 | //
|
---|
[13360] | 142 | // contactTextBox
|
---|
[3736] | 143 | //
|
---|
[13360] | 144 | this.contactTextBox.BackColor = System.Drawing.SystemColors.HighlightText;
|
---|
| 145 | this.contactTextBox.BorderStyle = System.Windows.Forms.BorderStyle.None;
|
---|
| 146 | this.contactTextBox.Location = new System.Drawing.Point(87, 41);
|
---|
| 147 | this.contactTextBox.Name = "contactTextBox";
|
---|
| 148 | this.contactTextBox.ReadOnly = true;
|
---|
| 149 | this.contactTextBox.Size = new System.Drawing.Size(355, 13);
|
---|
| 150 | this.contactTextBox.TabIndex = 6;
|
---|
| 151 | this.contactTextBox.Text = "(C)";
|
---|
[3736] | 152 | //
|
---|
[13360] | 153 | // textBox
|
---|
[3736] | 154 | //
|
---|
[13360] | 155 | this.textBox.Anchor = ((System.Windows.Forms.AnchorStyles)((((System.Windows.Forms.AnchorStyles.Top | System.Windows.Forms.AnchorStyles.Bottom)
|
---|
| 156 | | System.Windows.Forms.AnchorStyles.Left)
|
---|
| 157 | | System.Windows.Forms.AnchorStyles.Right)));
|
---|
| 158 | this.textBox.BackColor = System.Drawing.SystemColors.HighlightText;
|
---|
| 159 | this.textBox.BorderStyle = System.Windows.Forms.BorderStyle.None;
|
---|
| 160 | this.textBox.Location = new System.Drawing.Point(6, 98);
|
---|
| 161 | this.textBox.Name = "textBox";
|
---|
| 162 | this.textBox.ReadOnly = true;
|
---|
| 163 | this.textBox.ScrollBars = System.Windows.Forms.RichTextBoxScrollBars.Vertical;
|
---|
| 164 | this.textBox.Size = new System.Drawing.Size(526, 394);
|
---|
| 165 | this.textBox.TabIndex = 11;
|
---|
| 166 | this.textBox.Text = "Files and License Text";
|
---|
| 167 | this.textBox.LinkClicked += new System.Windows.Forms.LinkClickedEventHandler(this.licenseTextBox_LinkClicked);
|
---|
| 168 | this.textBox.MouseClick += new System.Windows.Forms.MouseEventHandler(this.textBox_MouseClick);
|
---|
[3736] | 169 | //
|
---|
| 170 | // label2
|
---|
| 171 | //
|
---|
| 172 | this.label2.AutoSize = true;
|
---|
[13360] | 173 | this.label2.Location = new System.Drawing.Point(3, 60);
|
---|
| 174 | this.label2.Margin = new System.Windows.Forms.Padding(3);
|
---|
[3736] | 175 | this.label2.Name = "label2";
|
---|
| 176 | this.label2.Size = new System.Drawing.Size(49, 13);
|
---|
[3761] | 177 | this.label2.TabIndex = 7;
|
---|
[3736] | 178 | this.label2.Text = "Website:";
|
---|
| 179 | //
|
---|
| 180 | // panel1
|
---|
| 181 | //
|
---|
[13360] | 182 | this.panel1.Anchor = ((System.Windows.Forms.AnchorStyles)(((System.Windows.Forms.AnchorStyles.Bottom | System.Windows.Forms.AnchorStyles.Left)
|
---|
| 183 | | System.Windows.Forms.AnchorStyles.Right)));
|
---|
[3736] | 184 | this.panel1.BackColor = System.Drawing.SystemColors.Control;
|
---|
| 185 | this.panel1.Controls.Add(this.okButton);
|
---|
| 186 | this.panel1.Location = new System.Drawing.Point(0, 538);
|
---|
| 187 | this.panel1.Name = "panel1";
|
---|
[13360] | 188 | this.panel1.Size = new System.Drawing.Size(888, 48);
|
---|
[3761] | 189 | this.panel1.TabIndex = 0;
|
---|
[3736] | 190 | //
|
---|
| 191 | // label4
|
---|
| 192 | //
|
---|
| 193 | this.label4.AutoSize = true;
|
---|
[13360] | 194 | this.label4.Location = new System.Drawing.Point(3, 79);
|
---|
| 195 | this.label4.Margin = new System.Windows.Forms.Padding(3);
|
---|
[3736] | 196 | this.label4.Name = "label4";
|
---|
| 197 | this.label4.Size = new System.Drawing.Size(47, 13);
|
---|
[3761] | 198 | this.label4.TabIndex = 9;
|
---|
[3736] | 199 | this.label4.Text = "Contact:";
|
---|
| 200 | //
|
---|
[3761] | 201 | // webLinkLabel
|
---|
[3736] | 202 | //
|
---|
[3761] | 203 | this.webLinkLabel.AutoSize = true;
|
---|
[13360] | 204 | this.webLinkLabel.Location = new System.Drawing.Point(84, 60);
|
---|
[3761] | 205 | this.webLinkLabel.Name = "webLinkLabel";
|
---|
| 206 | this.webLinkLabel.Size = new System.Drawing.Size(135, 13);
|
---|
| 207 | this.webLinkLabel.TabIndex = 8;
|
---|
| 208 | this.webLinkLabel.TabStop = true;
|
---|
| 209 | this.webLinkLabel.Text = "http://dev.heuristiclab.com";
|
---|
| 210 | this.webLinkLabel.LinkClicked += new System.Windows.Forms.LinkLabelLinkClickedEventHandler(this.webLinkLabel_LinkClicked);
|
---|
[3736] | 211 | //
|
---|
[3761] | 212 | // mailLinkLabel
|
---|
[3742] | 213 | //
|
---|
[3761] | 214 | this.mailLinkLabel.AutoSize = true;
|
---|
[13360] | 215 | this.mailLinkLabel.Location = new System.Drawing.Point(84, 79);
|
---|
[3761] | 216 | this.mailLinkLabel.Name = "mailLinkLabel";
|
---|
| 217 | this.mailLinkLabel.Size = new System.Drawing.Size(129, 13);
|
---|
| 218 | this.mailLinkLabel.TabIndex = 10;
|
---|
| 219 | this.mailLinkLabel.TabStop = true;
|
---|
| 220 | this.mailLinkLabel.Text = "support@heuristiclab.com";
|
---|
| 221 | this.mailLinkLabel.LinkClicked += new System.Windows.Forms.LinkLabelLinkClickedEventHandler(this.mailLinkLabel_LinkClicked);
|
---|
[3742] | 222 | //
|
---|
[13360] | 223 | // label3
|
---|
[3736] | 224 | //
|
---|
[13360] | 225 | this.label3.AutoSize = true;
|
---|
| 226 | this.label3.Location = new System.Drawing.Point(3, 41);
|
---|
| 227 | this.label3.Margin = new System.Windows.Forms.Padding(3);
|
---|
| 228 | this.label3.Name = "label3";
|
---|
| 229 | this.label3.Size = new System.Drawing.Size(54, 13);
|
---|
| 230 | this.label3.TabIndex = 5;
|
---|
| 231 | this.label3.Text = "Copyright:";
|
---|
| 232 | //
|
---|
| 233 | // label1
|
---|
| 234 | //
|
---|
| 235 | this.label1.AutoSize = true;
|
---|
| 236 | this.label1.Location = new System.Drawing.Point(3, 22);
|
---|
| 237 | this.label1.Margin = new System.Windows.Forms.Padding(3);
|
---|
| 238 | this.label1.Name = "label1";
|
---|
| 239 | this.label1.Size = new System.Drawing.Size(45, 13);
|
---|
| 240 | this.label1.TabIndex = 3;
|
---|
| 241 | this.label1.Text = "Version:";
|
---|
| 242 | //
|
---|
| 243 | // versionTextBox
|
---|
| 244 | //
|
---|
| 245 | this.versionTextBox.BackColor = System.Drawing.SystemColors.HighlightText;
|
---|
| 246 | this.versionTextBox.BorderStyle = System.Windows.Forms.BorderStyle.None;
|
---|
| 247 | this.versionTextBox.Location = new System.Drawing.Point(87, 22);
|
---|
| 248 | this.versionTextBox.Name = "versionTextBox";
|
---|
| 249 | this.versionTextBox.ReadOnly = true;
|
---|
| 250 | this.versionTextBox.Size = new System.Drawing.Size(355, 13);
|
---|
| 251 | this.versionTextBox.TabIndex = 4;
|
---|
| 252 | this.versionTextBox.Text = "1.0";
|
---|
| 253 | //
|
---|
| 254 | // label
|
---|
| 255 | //
|
---|
| 256 | this.label.AutoSize = true;
|
---|
| 257 | this.label.Location = new System.Drawing.Point(3, 3);
|
---|
| 258 | this.label.Margin = new System.Windows.Forms.Padding(3);
|
---|
| 259 | this.label.Name = "label";
|
---|
| 260 | this.label.Size = new System.Drawing.Size(38, 13);
|
---|
| 261 | this.label.TabIndex = 1;
|
---|
| 262 | this.label.Text = "Name:";
|
---|
| 263 | //
|
---|
| 264 | // panel2
|
---|
| 265 | //
|
---|
| 266 | this.panel2.Anchor = ((System.Windows.Forms.AnchorStyles)((((System.Windows.Forms.AnchorStyles.Top | System.Windows.Forms.AnchorStyles.Bottom)
|
---|
| 267 | | System.Windows.Forms.AnchorStyles.Left)
|
---|
| 268 | | System.Windows.Forms.AnchorStyles.Right)));
|
---|
| 269 | this.panel2.Controls.Add(this.contactTextBox);
|
---|
| 270 | this.panel2.Controls.Add(this.mailLinkLabel);
|
---|
| 271 | this.panel2.Controls.Add(this.label);
|
---|
| 272 | this.panel2.Controls.Add(this.webLinkLabel);
|
---|
| 273 | this.panel2.Controls.Add(this.label1);
|
---|
| 274 | this.panel2.Controls.Add(this.label4);
|
---|
| 275 | this.panel2.Controls.Add(this.label3);
|
---|
| 276 | this.panel2.Controls.Add(this.productTextBox);
|
---|
| 277 | this.panel2.Controls.Add(this.label2);
|
---|
| 278 | this.panel2.Controls.Add(this.versionTextBox);
|
---|
| 279 | this.panel2.Controls.Add(this.textBox);
|
---|
| 280 | this.panel2.Location = new System.Drawing.Point(321, 31);
|
---|
| 281 | this.panel2.Name = "panel2";
|
---|
| 282 | this.panel2.Size = new System.Drawing.Size(554, 495);
|
---|
| 283 | this.panel2.TabIndex = 13;
|
---|
| 284 | //
|
---|
| 285 | // PluginInformationDialog
|
---|
| 286 | //
|
---|
[3736] | 287 | this.AcceptButton = this.okButton;
|
---|
[7967] | 288 | this.AutoScaleMode = System.Windows.Forms.AutoScaleMode.Inherit;
|
---|
[3736] | 289 | this.BackColor = System.Drawing.SystemColors.Window;
|
---|
[3761] | 290 | this.CancelButton = this.okButton;
|
---|
[13360] | 291 | this.ClientSize = new System.Drawing.Size(887, 586);
|
---|
| 292 | this.Controls.Add(this.pluginListView);
|
---|
| 293 | this.Controls.Add(this.panel2);
|
---|
[3736] | 294 | this.Controls.Add(this.panel1);
|
---|
[13360] | 295 | this.Icon = global::HeuristicLab.PluginInfrastructure.UI.Resources.HeuristicLab;
|
---|
[3736] | 296 | this.MaximizeBox = false;
|
---|
| 297 | this.MinimizeBox = false;
|
---|
[13360] | 298 | this.Name = "PluginInformationDialog";
|
---|
[3736] | 299 | this.StartPosition = System.Windows.Forms.FormStartPosition.CenterParent;
|
---|
[13360] | 300 | this.Text = "About Plugins";
|
---|
[3736] | 301 | this.panel1.ResumeLayout(false);
|
---|
[13360] | 302 | this.panel2.ResumeLayout(false);
|
---|
| 303 | this.panel2.PerformLayout();
|
---|
[3736] | 304 | this.ResumeLayout(false);
|
---|
| 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.TextBox productTextBox;
|
---|
[13360] | 317 | private System.Windows.Forms.TextBox contactTextBox;
|
---|
| 318 | private System.Windows.Forms.RichTextBox textBox;
|
---|
[3736] | 319 | private System.Windows.Forms.Label label2;
|
---|
| 320 | private System.Windows.Forms.Panel panel1;
|
---|
| 321 | private System.Windows.Forms.Label label4;
|
---|
[3761] | 322 | private System.Windows.Forms.LinkLabel webLinkLabel;
|
---|
| 323 | private System.Windows.Forms.LinkLabel mailLinkLabel;
|
---|
[13360] | 324 | private System.Windows.Forms.Label label3;
|
---|
| 325 | private System.Windows.Forms.Label label1;
|
---|
| 326 | private System.Windows.Forms.TextBox versionTextBox;
|
---|
| 327 | private System.Windows.Forms.Label label;
|
---|
| 328 | private System.Windows.Forms.Panel panel2;
|
---|
[3736] | 329 | }
|
---|
| 330 | } |
---|