| 1 | #region License Information
|
|---|
| 2 | /* HeuristicLab
|
|---|
| 3 | * Copyright (C) 2002-2010 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 |
|
|---|
| 22 | namespace HeuristicLab.Clients.OKB {
|
|---|
| 23 | partial class RunView {
|
|---|
| 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) {
|
|---|
| 35 | if (components != null) 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.components = new System.ComponentModel.Container();
|
|---|
| 48 | this.randomSeedLabel = new System.Windows.Forms.Label();
|
|---|
| 49 | this.randomSeedTextBox = new System.Windows.Forms.TextBox();
|
|---|
| 50 | this.createdDateLabel = new System.Windows.Forms.Label();
|
|---|
| 51 | this.createdDateTextBox = new System.Windows.Forms.TextBox();
|
|---|
| 52 | this.resultsListView = new System.Windows.Forms.ListView();
|
|---|
| 53 | this.nameColumnHeader = ((System.Windows.Forms.ColumnHeader)(new System.Windows.Forms.ColumnHeader()));
|
|---|
| 54 | this.valueColumnHeader = ((System.Windows.Forms.ColumnHeader)(new System.Windows.Forms.ColumnHeader()));
|
|---|
| 55 | this.imageList = new System.Windows.Forms.ImageList(this.components);
|
|---|
| 56 | this.resultsGroupBox = new System.Windows.Forms.GroupBox();
|
|---|
| 57 | this.userLabel = new System.Windows.Forms.Label();
|
|---|
| 58 | this.clientLabel = new System.Windows.Forms.Label();
|
|---|
| 59 | this.userTextBox = new System.Windows.Forms.TextBox();
|
|---|
| 60 | this.clientTextBox = new System.Windows.Forms.TextBox();
|
|---|
| 61 | this.resultsGroupBox.SuspendLayout();
|
|---|
| 62 | this.SuspendLayout();
|
|---|
| 63 | //
|
|---|
| 64 | // randomSeedLabel
|
|---|
| 65 | //
|
|---|
| 66 | this.randomSeedLabel.AutoSize = true;
|
|---|
| 67 | this.randomSeedLabel.Location = new System.Drawing.Point(3, 3);
|
|---|
| 68 | this.randomSeedLabel.Name = "randomSeedLabel";
|
|---|
| 69 | this.randomSeedLabel.Size = new System.Drawing.Size(78, 13);
|
|---|
| 70 | this.randomSeedLabel.TabIndex = 0;
|
|---|
| 71 | this.randomSeedLabel.Text = "Random Seed:";
|
|---|
| 72 | //
|
|---|
| 73 | // randomSeedTextBox
|
|---|
| 74 | //
|
|---|
| 75 | this.randomSeedTextBox.Anchor = ((System.Windows.Forms.AnchorStyles)(((System.Windows.Forms.AnchorStyles.Top | System.Windows.Forms.AnchorStyles.Left)
|
|---|
| 76 | | System.Windows.Forms.AnchorStyles.Right)));
|
|---|
| 77 | this.randomSeedTextBox.Location = new System.Drawing.Point(87, 0);
|
|---|
| 78 | this.randomSeedTextBox.Name = "randomSeedTextBox";
|
|---|
| 79 | this.randomSeedTextBox.ReadOnly = true;
|
|---|
| 80 | this.randomSeedTextBox.Size = new System.Drawing.Size(426, 20);
|
|---|
| 81 | this.randomSeedTextBox.TabIndex = 1;
|
|---|
| 82 | //
|
|---|
| 83 | // createdDateLabel
|
|---|
| 84 | //
|
|---|
| 85 | this.createdDateLabel.AutoSize = true;
|
|---|
| 86 | this.createdDateLabel.Location = new System.Drawing.Point(3, 29);
|
|---|
| 87 | this.createdDateLabel.Name = "createdDateLabel";
|
|---|
| 88 | this.createdDateLabel.Size = new System.Drawing.Size(75, 13);
|
|---|
| 89 | this.createdDateLabel.TabIndex = 2;
|
|---|
| 90 | this.createdDateLabel.Text = "Created Date:";
|
|---|
| 91 | //
|
|---|
| 92 | // createdDateTextBox
|
|---|
| 93 | //
|
|---|
| 94 | this.createdDateTextBox.Anchor = ((System.Windows.Forms.AnchorStyles)(((System.Windows.Forms.AnchorStyles.Top | System.Windows.Forms.AnchorStyles.Left)
|
|---|
| 95 | | System.Windows.Forms.AnchorStyles.Right)));
|
|---|
| 96 | this.createdDateTextBox.Location = new System.Drawing.Point(87, 26);
|
|---|
| 97 | this.createdDateTextBox.Name = "createdDateTextBox";
|
|---|
| 98 | this.createdDateTextBox.ReadOnly = true;
|
|---|
| 99 | this.createdDateTextBox.Size = new System.Drawing.Size(426, 20);
|
|---|
| 100 | this.createdDateTextBox.TabIndex = 3;
|
|---|
| 101 | //
|
|---|
| 102 | // resultsListView
|
|---|
| 103 | //
|
|---|
| 104 | this.resultsListView.Anchor = ((System.Windows.Forms.AnchorStyles)((((System.Windows.Forms.AnchorStyles.Top | System.Windows.Forms.AnchorStyles.Bottom)
|
|---|
| 105 | | System.Windows.Forms.AnchorStyles.Left)
|
|---|
| 106 | | System.Windows.Forms.AnchorStyles.Right)));
|
|---|
| 107 | this.resultsListView.Columns.AddRange(new System.Windows.Forms.ColumnHeader[] {
|
|---|
| 108 | this.nameColumnHeader,
|
|---|
| 109 | this.valueColumnHeader});
|
|---|
| 110 | this.resultsListView.FullRowSelect = true;
|
|---|
| 111 | this.resultsListView.HideSelection = false;
|
|---|
| 112 | this.resultsListView.Location = new System.Drawing.Point(6, 19);
|
|---|
| 113 | this.resultsListView.MultiSelect = false;
|
|---|
| 114 | this.resultsListView.Name = "resultsListView";
|
|---|
| 115 | this.resultsListView.ShowGroups = false;
|
|---|
| 116 | this.resultsListView.ShowItemToolTips = true;
|
|---|
| 117 | this.resultsListView.Size = new System.Drawing.Size(501, 225);
|
|---|
| 118 | this.resultsListView.SmallImageList = this.imageList;
|
|---|
| 119 | this.resultsListView.Sorting = System.Windows.Forms.SortOrder.Ascending;
|
|---|
| 120 | this.resultsListView.TabIndex = 0;
|
|---|
| 121 | this.resultsListView.UseCompatibleStateImageBehavior = false;
|
|---|
| 122 | this.resultsListView.View = System.Windows.Forms.View.Details;
|
|---|
| 123 | this.resultsListView.DoubleClick += new System.EventHandler(this.resultsListView_DoubleClick);
|
|---|
| 124 | //
|
|---|
| 125 | // nameColumnHeader
|
|---|
| 126 | //
|
|---|
| 127 | this.nameColumnHeader.Text = "Name";
|
|---|
| 128 | //
|
|---|
| 129 | // valueColumnHeader
|
|---|
| 130 | //
|
|---|
| 131 | this.valueColumnHeader.Text = "Value";
|
|---|
| 132 | //
|
|---|
| 133 | // imageList
|
|---|
| 134 | //
|
|---|
| 135 | this.imageList.ColorDepth = System.Windows.Forms.ColorDepth.Depth8Bit;
|
|---|
| 136 | this.imageList.ImageSize = new System.Drawing.Size(16, 16);
|
|---|
| 137 | this.imageList.TransparentColor = System.Drawing.Color.Transparent;
|
|---|
| 138 | //
|
|---|
| 139 | // resultsGroupBox
|
|---|
| 140 | //
|
|---|
| 141 | this.resultsGroupBox.Anchor = ((System.Windows.Forms.AnchorStyles)((((System.Windows.Forms.AnchorStyles.Top | System.Windows.Forms.AnchorStyles.Bottom)
|
|---|
| 142 | | System.Windows.Forms.AnchorStyles.Left)
|
|---|
| 143 | | System.Windows.Forms.AnchorStyles.Right)));
|
|---|
| 144 | this.resultsGroupBox.Controls.Add(this.resultsListView);
|
|---|
| 145 | this.resultsGroupBox.Location = new System.Drawing.Point(0, 104);
|
|---|
| 146 | this.resultsGroupBox.Name = "resultsGroupBox";
|
|---|
| 147 | this.resultsGroupBox.Size = new System.Drawing.Size(513, 250);
|
|---|
| 148 | this.resultsGroupBox.TabIndex = 8;
|
|---|
| 149 | this.resultsGroupBox.TabStop = false;
|
|---|
| 150 | this.resultsGroupBox.Text = "Results";
|
|---|
| 151 | //
|
|---|
| 152 | // userLabel
|
|---|
| 153 | //
|
|---|
| 154 | this.userLabel.AutoSize = true;
|
|---|
| 155 | this.userLabel.Location = new System.Drawing.Point(3, 55);
|
|---|
| 156 | this.userLabel.Name = "userLabel";
|
|---|
| 157 | this.userLabel.Size = new System.Drawing.Size(32, 13);
|
|---|
| 158 | this.userLabel.TabIndex = 4;
|
|---|
| 159 | this.userLabel.Text = "User:";
|
|---|
| 160 | //
|
|---|
| 161 | // clientLabel
|
|---|
| 162 | //
|
|---|
| 163 | this.clientLabel.AutoSize = true;
|
|---|
| 164 | this.clientLabel.Location = new System.Drawing.Point(3, 81);
|
|---|
| 165 | this.clientLabel.Name = "clientLabel";
|
|---|
| 166 | this.clientLabel.Size = new System.Drawing.Size(36, 13);
|
|---|
| 167 | this.clientLabel.TabIndex = 6;
|
|---|
| 168 | this.clientLabel.Text = "Client:";
|
|---|
| 169 | //
|
|---|
| 170 | // userTextBox
|
|---|
| 171 | //
|
|---|
| 172 | this.userTextBox.Anchor = ((System.Windows.Forms.AnchorStyles)(((System.Windows.Forms.AnchorStyles.Top | System.Windows.Forms.AnchorStyles.Left)
|
|---|
| 173 | | System.Windows.Forms.AnchorStyles.Right)));
|
|---|
| 174 | this.userTextBox.Location = new System.Drawing.Point(87, 52);
|
|---|
| 175 | this.userTextBox.Name = "userTextBox";
|
|---|
| 176 | this.userTextBox.ReadOnly = true;
|
|---|
| 177 | this.userTextBox.Size = new System.Drawing.Size(426, 20);
|
|---|
| 178 | this.userTextBox.TabIndex = 5;
|
|---|
| 179 | //
|
|---|
| 180 | // clientTextBox
|
|---|
| 181 | //
|
|---|
| 182 | this.clientTextBox.Anchor = ((System.Windows.Forms.AnchorStyles)(((System.Windows.Forms.AnchorStyles.Top | System.Windows.Forms.AnchorStyles.Left)
|
|---|
| 183 | | System.Windows.Forms.AnchorStyles.Right)));
|
|---|
| 184 | this.clientTextBox.Location = new System.Drawing.Point(87, 78);
|
|---|
| 185 | this.clientTextBox.Name = "clientTextBox";
|
|---|
| 186 | this.clientTextBox.ReadOnly = true;
|
|---|
| 187 | this.clientTextBox.Size = new System.Drawing.Size(426, 20);
|
|---|
| 188 | this.clientTextBox.TabIndex = 7;
|
|---|
| 189 | //
|
|---|
| 190 | // RunView
|
|---|
| 191 | //
|
|---|
| 192 | this.AutoScaleDimensions = new System.Drawing.SizeF(6F, 13F);
|
|---|
| 193 | this.AutoScaleMode = System.Windows.Forms.AutoScaleMode.Font;
|
|---|
| 194 | this.Controls.Add(this.resultsGroupBox);
|
|---|
| 195 | this.Controls.Add(this.clientTextBox);
|
|---|
| 196 | this.Controls.Add(this.userTextBox);
|
|---|
| 197 | this.Controls.Add(this.createdDateTextBox);
|
|---|
| 198 | this.Controls.Add(this.randomSeedTextBox);
|
|---|
| 199 | this.Controls.Add(this.clientLabel);
|
|---|
| 200 | this.Controls.Add(this.userLabel);
|
|---|
| 201 | this.Controls.Add(this.createdDateLabel);
|
|---|
| 202 | this.Controls.Add(this.randomSeedLabel);
|
|---|
| 203 | this.Name = "RunView";
|
|---|
| 204 | this.Size = new System.Drawing.Size(513, 354);
|
|---|
| 205 | this.resultsGroupBox.ResumeLayout(false);
|
|---|
| 206 | this.ResumeLayout(false);
|
|---|
| 207 | this.PerformLayout();
|
|---|
| 208 |
|
|---|
| 209 | }
|
|---|
| 210 |
|
|---|
| 211 | #endregion
|
|---|
| 212 |
|
|---|
| 213 | private System.Windows.Forms.Label randomSeedLabel;
|
|---|
| 214 | private System.Windows.Forms.TextBox randomSeedTextBox;
|
|---|
| 215 | private System.Windows.Forms.Label createdDateLabel;
|
|---|
| 216 | private System.Windows.Forms.TextBox createdDateTextBox;
|
|---|
| 217 | private System.Windows.Forms.ListView resultsListView;
|
|---|
| 218 | private System.Windows.Forms.ColumnHeader nameColumnHeader;
|
|---|
| 219 | private System.Windows.Forms.ColumnHeader valueColumnHeader;
|
|---|
| 220 | private System.Windows.Forms.ImageList imageList;
|
|---|
| 221 | private System.Windows.Forms.GroupBox resultsGroupBox;
|
|---|
| 222 | private System.Windows.Forms.Label userLabel;
|
|---|
| 223 | private System.Windows.Forms.Label clientLabel;
|
|---|
| 224 | private System.Windows.Forms.TextBox userTextBox;
|
|---|
| 225 | private System.Windows.Forms.TextBox clientTextBox;
|
|---|
| 226 |
|
|---|
| 227 | }
|
|---|
| 228 | }
|
|---|
