Free cookie consent management tool by TermsFeed Policy Generator

source: branches/OKB/HeuristicLab.Clients.OKB-3.3/Views/RunView.Designer.cs @ 5606

Last change on this file since 5606 was 5295, checked in by swagner, 14 years ago

Worked on OKB (#1174)
File size: 10.3 KB
RevLine 
[4943]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
22namespace 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();
[5295]50      this.createdDateLabel = new System.Windows.Forms.Label();
51      this.createdDateTextBox = new System.Windows.Forms.TextBox();
[4943]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      //
[5295]83      // createdDateLabel
[4943]84      //
[5295]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:";
[4943]91      //
[5295]92      // createdDateTextBox
[4943]93      //
[5295]94      this.createdDateTextBox.Anchor = ((System.Windows.Forms.AnchorStyles)(((System.Windows.Forms.AnchorStyles.Top | System.Windows.Forms.AnchorStyles.Left)
[4943]95                  | System.Windows.Forms.AnchorStyles.Right)));
[5295]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;
[4943]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);
[5295]197      this.Controls.Add(this.createdDateTextBox);
[4943]198      this.Controls.Add(this.randomSeedTextBox);
199      this.Controls.Add(this.clientLabel);
200      this.Controls.Add(this.userLabel);
[5295]201      this.Controls.Add(this.createdDateLabel);
[4943]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;
[5295]215    private System.Windows.Forms.Label createdDateLabel;
216    private System.Windows.Forms.TextBox createdDateTextBox;
[4943]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}
Note: See TracBrowser for help on using the repository browser.