Free cookie consent management tool by TermsFeed Policy Generator

source: stable/HeuristicLab.Clients.Hive.Views/3.3/HiveTasks/HiveTaskView.designer.cs @ 13841

Last change on this file since 13841 was 12009, checked in by ascheibe, 10 years ago

#2212 updated copyright year

File size: 28.7 KB
RevLine 
[8924]1#region License Information
2/* HeuristicLab
[12009]3 * Copyright (C) 2002-2015 Heuristic and Evolutionary Algorithms Laboratory (HEAL)
[8924]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.Hive.Views {
[6976]23  partial class HiveTaskView {
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.stateLogTabPage = new System.Windows.Forms.TabPage();
48      this.stateLogViewHost = new HeuristicLab.MainForm.WindowsForms.ViewHost();
49      this.detailsTabPage = new System.Windows.Forms.TabPage();
50      this.splitContainer1 = new System.Windows.Forms.SplitContainer();
51      this.splitContainer2 = new System.Windows.Forms.SplitContainer();
52      this.groupBoxGenerel = new System.Windows.Forms.GroupBox();
[7104]53      this.priorityComboBox = new System.Windows.Forms.ComboBox();
[6976]54      this.jobIdLabel = new System.Windows.Forms.Label();
55      this.jobIdTextBox = new System.Windows.Forms.TextBox();
56      this.lastUpdatedLabel = new System.Windows.Forms.Label();
57      this.lastUpdatedTextBox = new System.Windows.Forms.TextBox();
58      this.priorityLabel = new System.Windows.Forms.Label();
59      this.configurationGroupBox = new System.Windows.Forms.GroupBox();
[7104]60      this.memoryNeededComboBox = new System.Windows.Forms.ComboBox();
61      this.coresNeededComboBox = new System.Windows.Forms.ComboBox();
[6976]62      this.memoryNeededLabel = new System.Windows.Forms.Label();
63      this.coresNeededLabel = new System.Windows.Forms.Label();
64      this.computeInParallelLabel = new System.Windows.Forms.Label();
65      this.computeInParallelCheckBox = new System.Windows.Forms.CheckBox();
66      this.jobStatusGroupBox = new System.Windows.Forms.GroupBox();
67      this.commandTextBox = new System.Windows.Forms.TextBox();
68      this.commandLabel = new System.Windows.Forms.Label();
69      this.stateTextBox = new System.Windows.Forms.TextBox();
70      this.dateCalculatedLabel = new System.Windows.Forms.Label();
71      this.stateLabel = new System.Windows.Forms.Label();
72      this.dateCalculatedText = new System.Windows.Forms.TextBox();
73      this.dateFinishedTextBox = new System.Windows.Forms.TextBox();
74      this.executionTimeTextBox = new System.Windows.Forms.TextBox();
75      this.dateCreatedTextBox = new System.Windows.Forms.TextBox();
76      this.executionTimeLabel = new System.Windows.Forms.Label();
77      this.exceptionLabel = new System.Windows.Forms.Label();
78      this.dateCreatedLabel = new System.Windows.Forms.Label();
79      this.dateFinishedLabel = new System.Windows.Forms.Label();
80      this.exceptionTextBox = new System.Windows.Forms.TextBox();
81      this.modifyItemButton = new System.Windows.Forms.Button();
82      this.tabControl = new System.Windows.Forms.TabControl();
83      this.stateLogTabPage.SuspendLayout();
84      this.detailsTabPage.SuspendLayout();
85      ((System.ComponentModel.ISupportInitialize)(this.splitContainer1)).BeginInit();
86      this.splitContainer1.Panel1.SuspendLayout();
87      this.splitContainer1.Panel2.SuspendLayout();
88      this.splitContainer1.SuspendLayout();
89      ((System.ComponentModel.ISupportInitialize)(this.splitContainer2)).BeginInit();
90      this.splitContainer2.Panel1.SuspendLayout();
91      this.splitContainer2.Panel2.SuspendLayout();
92      this.splitContainer2.SuspendLayout();
93      this.groupBoxGenerel.SuspendLayout();
94      this.configurationGroupBox.SuspendLayout();
95      this.jobStatusGroupBox.SuspendLayout();
96      this.tabControl.SuspendLayout();
97      this.SuspendLayout();
98      //
99      // stateLogTabPage
100      //
101      this.stateLogTabPage.Controls.Add(this.stateLogViewHost);
102      this.stateLogTabPage.Location = new System.Drawing.Point(4, 22);
103      this.stateLogTabPage.Name = "stateLogTabPage";
104      this.stateLogTabPage.Size = new System.Drawing.Size(563, 375);
105      this.stateLogTabPage.TabIndex = 5;
[7191]106      this.stateLogTabPage.Text = "Execution History";
[6976]107      this.stateLogTabPage.UseVisualStyleBackColor = true;
108      //
109      // stateLogViewHost
110      //
[11072]111      this.stateLogViewHost.Anchor = ((System.Windows.Forms.AnchorStyles)((((System.Windows.Forms.AnchorStyles.Top | System.Windows.Forms.AnchorStyles.Bottom)
112            | System.Windows.Forms.AnchorStyles.Left)
113            | System.Windows.Forms.AnchorStyles.Right)));
[6976]114      this.stateLogViewHost.Caption = "View";
115      this.stateLogViewHost.Content = null;
116      this.stateLogViewHost.Enabled = false;
117      this.stateLogViewHost.Location = new System.Drawing.Point(3, 3);
118      this.stateLogViewHost.Name = "stateLogViewHost";
119      this.stateLogViewHost.ReadOnly = false;
120      this.stateLogViewHost.Size = new System.Drawing.Size(557, 407);
121      this.stateLogViewHost.TabIndex = 0;
122      this.stateLogViewHost.ViewsLabelVisible = true;
123      this.stateLogViewHost.ViewType = null;
124      //
125      // detailsTabPage
126      //
127      this.detailsTabPage.Controls.Add(this.splitContainer1);
128      this.detailsTabPage.Controls.Add(this.modifyItemButton);
129      this.detailsTabPage.Location = new System.Drawing.Point(4, 22);
130      this.detailsTabPage.Name = "detailsTabPage";
131      this.detailsTabPage.Padding = new System.Windows.Forms.Padding(3);
132      this.detailsTabPage.Size = new System.Drawing.Size(563, 375);
133      this.detailsTabPage.TabIndex = 0;
134      this.detailsTabPage.Text = "Details";
135      this.detailsTabPage.UseVisualStyleBackColor = true;
136      //
137      // splitContainer1
138      //
[11072]139      this.splitContainer1.Anchor = ((System.Windows.Forms.AnchorStyles)(((System.Windows.Forms.AnchorStyles.Top | System.Windows.Forms.AnchorStyles.Left)
140            | System.Windows.Forms.AnchorStyles.Right)));
[6976]141      this.splitContainer1.Location = new System.Drawing.Point(6, 6);
142      this.splitContainer1.Name = "splitContainer1";
143      //
144      // splitContainer1.Panel1
145      //
146      this.splitContainer1.Panel1.Controls.Add(this.splitContainer2);
147      //
148      // splitContainer1.Panel2
149      //
150      this.splitContainer1.Panel2.Controls.Add(this.jobStatusGroupBox);
151      this.splitContainer1.Size = new System.Drawing.Size(551, 200);
152      this.splitContainer1.SplitterDistance = 275;
153      this.splitContainer1.TabIndex = 44;
154      //
155      // splitContainer2
156      //
157      this.splitContainer2.Dock = System.Windows.Forms.DockStyle.Fill;
158      this.splitContainer2.Location = new System.Drawing.Point(0, 0);
159      this.splitContainer2.Name = "splitContainer2";
160      this.splitContainer2.Orientation = System.Windows.Forms.Orientation.Horizontal;
161      //
162      // splitContainer2.Panel1
163      //
164      this.splitContainer2.Panel1.Controls.Add(this.groupBoxGenerel);
165      //
166      // splitContainer2.Panel2
167      //
168      this.splitContainer2.Panel2.Controls.Add(this.configurationGroupBox);
169      this.splitContainer2.Size = new System.Drawing.Size(275, 200);
170      this.splitContainer2.SplitterDistance = 100;
171      this.splitContainer2.TabIndex = 0;
172      //
173      // groupBoxGenerel
174      //
175      this.groupBoxGenerel.Controls.Add(this.priorityComboBox);
176      this.groupBoxGenerel.Controls.Add(this.jobIdLabel);
177      this.groupBoxGenerel.Controls.Add(this.jobIdTextBox);
178      this.groupBoxGenerel.Controls.Add(this.lastUpdatedLabel);
179      this.groupBoxGenerel.Controls.Add(this.lastUpdatedTextBox);
180      this.groupBoxGenerel.Controls.Add(this.priorityLabel);
181      this.groupBoxGenerel.Dock = System.Windows.Forms.DockStyle.Fill;
182      this.groupBoxGenerel.Location = new System.Drawing.Point(0, 0);
183      this.groupBoxGenerel.Name = "groupBoxGenerel";
184      this.groupBoxGenerel.Size = new System.Drawing.Size(275, 100);
185      this.groupBoxGenerel.TabIndex = 43;
186      this.groupBoxGenerel.TabStop = false;
[7190]187      this.groupBoxGenerel.Text = "General";
[6976]188      //
[7104]189      // priorityComboBox
190      //
[11072]191      this.priorityComboBox.Anchor = ((System.Windows.Forms.AnchorStyles)(((System.Windows.Forms.AnchorStyles.Top | System.Windows.Forms.AnchorStyles.Left)
192            | System.Windows.Forms.AnchorStyles.Right)));
[7177]193      this.priorityComboBox.DropDownStyle = System.Windows.Forms.ComboBoxStyle.DropDownList;
[7104]194      this.priorityComboBox.FormattingEnabled = true;
195      this.priorityComboBox.Items.AddRange(new object[] {
[11072]196            "Low",
[7177]197            "Normal",
198            "Urgent",
199            "Critical"});
[7104]200      this.priorityComboBox.Location = new System.Drawing.Point(87, 39);
201      this.priorityComboBox.Name = "priorityComboBox";
202      this.priorityComboBox.Size = new System.Drawing.Size(182, 21);
203      this.priorityComboBox.TabIndex = 43;
[7177]204      this.priorityComboBox.SelectedIndexChanged += new System.EventHandler(this.priorityComboBox_SelectedIndexChanged);
[7104]205      //
[6976]206      // jobIdLabel
207      //
208      this.jobIdLabel.AutoSize = true;
209      this.jobIdLabel.Location = new System.Drawing.Point(6, 16);
210      this.jobIdLabel.Name = "jobIdLabel";
211      this.jobIdLabel.Size = new System.Drawing.Size(19, 13);
212      this.jobIdLabel.TabIndex = 25;
213      this.jobIdLabel.Text = "Id:";
214      //
215      // jobIdTextBox
216      //
[11072]217      this.jobIdTextBox.Anchor = ((System.Windows.Forms.AnchorStyles)(((System.Windows.Forms.AnchorStyles.Top | System.Windows.Forms.AnchorStyles.Left)
218            | System.Windows.Forms.AnchorStyles.Right)));
[6976]219      this.jobIdTextBox.Location = new System.Drawing.Point(87, 13);
220      this.jobIdTextBox.Name = "jobIdTextBox";
221      this.jobIdTextBox.Size = new System.Drawing.Size(182, 20);
222      this.jobIdTextBox.TabIndex = 26;
223      //
224      // lastUpdatedLabel
225      //
226      this.lastUpdatedLabel.AutoSize = true;
[7104]227      this.lastUpdatedLabel.Location = new System.Drawing.Point(6, 68);
[6976]228      this.lastUpdatedLabel.Name = "lastUpdatedLabel";
229      this.lastUpdatedLabel.Size = new System.Drawing.Size(75, 13);
230      this.lastUpdatedLabel.TabIndex = 1;
231      this.lastUpdatedLabel.Text = "Last changed:";
232      //
233      // lastUpdatedTextBox
234      //
[11072]235      this.lastUpdatedTextBox.Anchor = ((System.Windows.Forms.AnchorStyles)(((System.Windows.Forms.AnchorStyles.Top | System.Windows.Forms.AnchorStyles.Left)
236            | System.Windows.Forms.AnchorStyles.Right)));
[7104]237      this.lastUpdatedTextBox.Location = new System.Drawing.Point(87, 66);
[6976]238      this.lastUpdatedTextBox.Name = "lastUpdatedTextBox";
239      this.lastUpdatedTextBox.Size = new System.Drawing.Size(182, 20);
240      this.lastUpdatedTextBox.TabIndex = 2;
241      //
242      // priorityLabel
243      //
244      this.priorityLabel.AutoSize = true;
[7104]245      this.priorityLabel.Location = new System.Drawing.Point(6, 42);
[6976]246      this.priorityLabel.Name = "priorityLabel";
247      this.priorityLabel.Size = new System.Drawing.Size(41, 13);
248      this.priorityLabel.TabIndex = 42;
249      this.priorityLabel.Text = "Priority:";
250      //
251      // configurationGroupBox
252      //
253      this.configurationGroupBox.Controls.Add(this.memoryNeededComboBox);
254      this.configurationGroupBox.Controls.Add(this.coresNeededComboBox);
255      this.configurationGroupBox.Controls.Add(this.memoryNeededLabel);
256      this.configurationGroupBox.Controls.Add(this.coresNeededLabel);
257      this.configurationGroupBox.Controls.Add(this.computeInParallelLabel);
258      this.configurationGroupBox.Controls.Add(this.computeInParallelCheckBox);
259      this.configurationGroupBox.Dock = System.Windows.Forms.DockStyle.Fill;
260      this.configurationGroupBox.Location = new System.Drawing.Point(0, 0);
261      this.configurationGroupBox.Name = "configurationGroupBox";
262      this.configurationGroupBox.Size = new System.Drawing.Size(275, 96);
263      this.configurationGroupBox.TabIndex = 27;
264      this.configurationGroupBox.TabStop = false;
265      this.configurationGroupBox.Text = "Resource demands";
266      //
[7104]267      // memoryNeededComboBox
268      //
[11072]269      this.memoryNeededComboBox.Anchor = ((System.Windows.Forms.AnchorStyles)(((System.Windows.Forms.AnchorStyles.Top | System.Windows.Forms.AnchorStyles.Left)
270            | System.Windows.Forms.AnchorStyles.Right)));
[7192]271      this.memoryNeededComboBox.DropDownStyle = System.Windows.Forms.ComboBoxStyle.DropDownList;
[7104]272      this.memoryNeededComboBox.FormattingEnabled = true;
273      this.memoryNeededComboBox.Items.AddRange(new object[] {
274            "128",
275            "256",
276            "512",
277            "1024",
278            "2048"});
279      this.memoryNeededComboBox.Location = new System.Drawing.Point(134, 40);
280      this.memoryNeededComboBox.Name = "memoryNeededComboBox";
281      this.memoryNeededComboBox.Size = new System.Drawing.Size(134, 21);
282      this.memoryNeededComboBox.TabIndex = 42;
283      //
284      // coresNeededComboBox
285      //
[11072]286      this.coresNeededComboBox.Anchor = ((System.Windows.Forms.AnchorStyles)(((System.Windows.Forms.AnchorStyles.Top | System.Windows.Forms.AnchorStyles.Left)
287            | System.Windows.Forms.AnchorStyles.Right)));
[7192]288      this.coresNeededComboBox.DropDownStyle = System.Windows.Forms.ComboBoxStyle.DropDownList;
[7104]289      this.coresNeededComboBox.FormattingEnabled = true;
290      this.coresNeededComboBox.Items.AddRange(new object[] {
291            "1",
292            "2",
293            "3",
[7192]294            "4"});
[7104]295      this.coresNeededComboBox.Location = new System.Drawing.Point(134, 13);
296      this.coresNeededComboBox.Name = "coresNeededComboBox";
297      this.coresNeededComboBox.Size = new System.Drawing.Size(134, 21);
298      this.coresNeededComboBox.TabIndex = 41;
299      //
[6976]300      // memoryNeededLabel
301      //
302      this.memoryNeededLabel.AutoSize = true;
[7104]303      this.memoryNeededLabel.Location = new System.Drawing.Point(6, 43);
[6976]304      this.memoryNeededLabel.Name = "memoryNeededLabel";
305      this.memoryNeededLabel.Size = new System.Drawing.Size(122, 13);
306      this.memoryNeededLabel.TabIndex = 40;
307      this.memoryNeededLabel.Text = "Memory needed (in MB):";
308      //
309      // coresNeededLabel
310      //
311      this.coresNeededLabel.AutoSize = true;
312      this.coresNeededLabel.Location = new System.Drawing.Point(6, 16);
313      this.coresNeededLabel.Name = "coresNeededLabel";
[7192]314      this.coresNeededLabel.Size = new System.Drawing.Size(104, 13);
[6976]315      this.coresNeededLabel.TabIndex = 39;
[7192]316      this.coresNeededLabel.Text = "Nr. of needed cores:";
[6976]317      //
318      // computeInParallelLabel
319      //
320      this.computeInParallelLabel.AutoSize = true;
[7104]321      this.computeInParallelLabel.Location = new System.Drawing.Point(6, 67);
[6976]322      this.computeInParallelLabel.Name = "computeInParallelLabel";
[7191]323      this.computeInParallelLabel.Size = new System.Drawing.Size(107, 13);
[6976]324      this.computeInParallelLabel.TabIndex = 36;
[7191]325      this.computeInParallelLabel.Text = "Distribute child tasks:";
[6976]326      //
327      // computeInParallelCheckBox
328      //
329      this.computeInParallelCheckBox.AutoSize = true;
[7104]330      this.computeInParallelCheckBox.Location = new System.Drawing.Point(135, 67);
[6976]331      this.computeInParallelCheckBox.Name = "computeInParallelCheckBox";
332      this.computeInParallelCheckBox.Size = new System.Drawing.Size(15, 14);
333      this.computeInParallelCheckBox.TabIndex = 35;
334      this.computeInParallelCheckBox.UseVisualStyleBackColor = true;
335      this.computeInParallelCheckBox.CheckedChanged += new System.EventHandler(this.computeInParallelCheckBox_CheckedChanged);
336      //
337      // jobStatusGroupBox
338      //
339      this.jobStatusGroupBox.Controls.Add(this.commandTextBox);
340      this.jobStatusGroupBox.Controls.Add(this.commandLabel);
341      this.jobStatusGroupBox.Controls.Add(this.stateTextBox);
342      this.jobStatusGroupBox.Controls.Add(this.dateCalculatedLabel);
343      this.jobStatusGroupBox.Controls.Add(this.stateLabel);
344      this.jobStatusGroupBox.Controls.Add(this.dateCalculatedText);
345      this.jobStatusGroupBox.Controls.Add(this.dateFinishedTextBox);
346      this.jobStatusGroupBox.Controls.Add(this.executionTimeTextBox);
347      this.jobStatusGroupBox.Controls.Add(this.dateCreatedTextBox);
348      this.jobStatusGroupBox.Controls.Add(this.executionTimeLabel);
349      this.jobStatusGroupBox.Controls.Add(this.exceptionLabel);
350      this.jobStatusGroupBox.Controls.Add(this.dateCreatedLabel);
351      this.jobStatusGroupBox.Controls.Add(this.dateFinishedLabel);
352      this.jobStatusGroupBox.Controls.Add(this.exceptionTextBox);
353      this.jobStatusGroupBox.Dock = System.Windows.Forms.DockStyle.Fill;
354      this.jobStatusGroupBox.Location = new System.Drawing.Point(0, 0);
355      this.jobStatusGroupBox.Name = "jobStatusGroupBox";
356      this.jobStatusGroupBox.Size = new System.Drawing.Size(272, 200);
357      this.jobStatusGroupBox.TabIndex = 24;
358      this.jobStatusGroupBox.TabStop = false;
359      this.jobStatusGroupBox.Text = "Task status";
360      //
361      // commandTextBox
362      //
[11072]363      this.commandTextBox.Anchor = ((System.Windows.Forms.AnchorStyles)(((System.Windows.Forms.AnchorStyles.Top | System.Windows.Forms.AnchorStyles.Left)
364            | System.Windows.Forms.AnchorStyles.Right)));
[7104]365      this.commandTextBox.Location = new System.Drawing.Point(95, 39);
[6976]366      this.commandTextBox.Name = "commandTextBox";
367      this.commandTextBox.Size = new System.Drawing.Size(171, 20);
368      this.commandTextBox.TabIndex = 24;
369      //
370      // commandLabel
371      //
372      this.commandLabel.AutoSize = true;
[7104]373      this.commandLabel.Location = new System.Drawing.Point(7, 42);
[6976]374      this.commandLabel.Name = "commandLabel";
375      this.commandLabel.Size = new System.Drawing.Size(57, 13);
376      this.commandLabel.TabIndex = 25;
377      this.commandLabel.Text = "Command:";
378      //
379      // stateTextBox
380      //
[11072]381      this.stateTextBox.Anchor = ((System.Windows.Forms.AnchorStyles)(((System.Windows.Forms.AnchorStyles.Top | System.Windows.Forms.AnchorStyles.Left)
382            | System.Windows.Forms.AnchorStyles.Right)));
[7104]383      this.stateTextBox.Location = new System.Drawing.Point(95, 13);
[6976]384      this.stateTextBox.Name = "stateTextBox";
385      this.stateTextBox.Size = new System.Drawing.Size(171, 20);
386      this.stateTextBox.TabIndex = 2;
387      //
388      // dateCalculatedLabel
389      //
390      this.dateCalculatedLabel.AutoSize = true;
[7104]391      this.dateCalculatedLabel.Location = new System.Drawing.Point(7, 120);
[6976]392      this.dateCalculatedLabel.Name = "dateCalculatedLabel";
393      this.dateCalculatedLabel.Size = new System.Drawing.Size(85, 13);
394      this.dateCalculatedLabel.TabIndex = 23;
395      this.dateCalculatedLabel.Text = "Date calculated:";
396      //
397      // stateLabel
398      //
399      this.stateLabel.AutoSize = true;
[7104]400      this.stateLabel.Location = new System.Drawing.Point(7, 16);
[6976]401      this.stateLabel.Name = "stateLabel";
402      this.stateLabel.Size = new System.Drawing.Size(35, 13);
403      this.stateLabel.TabIndex = 0;
404      this.stateLabel.Text = "State:";
405      //
406      // dateCalculatedText
407      //
[11072]408      this.dateCalculatedText.Anchor = ((System.Windows.Forms.AnchorStyles)(((System.Windows.Forms.AnchorStyles.Top | System.Windows.Forms.AnchorStyles.Left)
409            | System.Windows.Forms.AnchorStyles.Right)));
[7104]410      this.dateCalculatedText.Location = new System.Drawing.Point(95, 117);
[6976]411      this.dateCalculatedText.Name = "dateCalculatedText";
412      this.dateCalculatedText.Size = new System.Drawing.Size(171, 20);
413      this.dateCalculatedText.TabIndex = 22;
414      //
415      // dateFinishedTextBox
416      //
[11072]417      this.dateFinishedTextBox.Anchor = ((System.Windows.Forms.AnchorStyles)(((System.Windows.Forms.AnchorStyles.Top | System.Windows.Forms.AnchorStyles.Left)
418            | System.Windows.Forms.AnchorStyles.Right)));
[7104]419      this.dateFinishedTextBox.Location = new System.Drawing.Point(95, 143);
[6976]420      this.dateFinishedTextBox.Name = "dateFinishedTextBox";
421      this.dateFinishedTextBox.Size = new System.Drawing.Size(171, 20);
422      this.dateFinishedTextBox.TabIndex = 6;
423      //
424      // executionTimeTextBox
425      //
[11072]426      this.executionTimeTextBox.Anchor = ((System.Windows.Forms.AnchorStyles)(((System.Windows.Forms.AnchorStyles.Top | System.Windows.Forms.AnchorStyles.Left)
427            | System.Windows.Forms.AnchorStyles.Right)));
[7104]428      this.executionTimeTextBox.Location = new System.Drawing.Point(95, 65);
[6976]429      this.executionTimeTextBox.Name = "executionTimeTextBox";
430      this.executionTimeTextBox.Size = new System.Drawing.Size(171, 20);
431      this.executionTimeTextBox.TabIndex = 4;
432      //
433      // dateCreatedTextBox
434      //
[11072]435      this.dateCreatedTextBox.Anchor = ((System.Windows.Forms.AnchorStyles)(((System.Windows.Forms.AnchorStyles.Top | System.Windows.Forms.AnchorStyles.Left)
436            | System.Windows.Forms.AnchorStyles.Right)));
[7104]437      this.dateCreatedTextBox.Location = new System.Drawing.Point(95, 91);
[6976]438      this.dateCreatedTextBox.Name = "dateCreatedTextBox";
439      this.dateCreatedTextBox.Size = new System.Drawing.Size(171, 20);
440      this.dateCreatedTextBox.TabIndex = 5;
441      //
442      // executionTimeLabel
443      //
444      this.executionTimeLabel.AutoSize = true;
[7104]445      this.executionTimeLabel.Location = new System.Drawing.Point(7, 68);
[6976]446      this.executionTimeLabel.Name = "executionTimeLabel";
447      this.executionTimeLabel.Size = new System.Drawing.Size(79, 13);
448      this.executionTimeLabel.TabIndex = 13;
449      this.executionTimeLabel.Text = "Execution time:";
450      //
451      // exceptionLabel
452      //
453      this.exceptionLabel.AutoSize = true;
[7104]454      this.exceptionLabel.Location = new System.Drawing.Point(7, 172);
[6976]455      this.exceptionLabel.Name = "exceptionLabel";
456      this.exceptionLabel.Size = new System.Drawing.Size(57, 13);
457      this.exceptionLabel.TabIndex = 19;
458      this.exceptionLabel.Text = "Exception:";
459      //
460      // dateCreatedLabel
461      //
462      this.dateCreatedLabel.AutoSize = true;
[7104]463      this.dateCreatedLabel.Location = new System.Drawing.Point(7, 94);
[6976]464      this.dateCreatedLabel.Name = "dateCreatedLabel";
465      this.dateCreatedLabel.Size = new System.Drawing.Size(72, 13);
466      this.dateCreatedLabel.TabIndex = 14;
467      this.dateCreatedLabel.Text = "Date created:";
468      //
469      // dateFinishedLabel
470      //
471      this.dateFinishedLabel.AutoSize = true;
[7104]472      this.dateFinishedLabel.Location = new System.Drawing.Point(7, 146);
[6976]473      this.dateFinishedLabel.Name = "dateFinishedLabel";
474      this.dateFinishedLabel.Size = new System.Drawing.Size(72, 13);
475      this.dateFinishedLabel.TabIndex = 15;
476      this.dateFinishedLabel.Text = "Date finished:";
477      //
478      // exceptionTextBox
479      //
[11072]480      this.exceptionTextBox.Anchor = ((System.Windows.Forms.AnchorStyles)(((System.Windows.Forms.AnchorStyles.Top | System.Windows.Forms.AnchorStyles.Left)
481            | System.Windows.Forms.AnchorStyles.Right)));
[7104]482      this.exceptionTextBox.Location = new System.Drawing.Point(95, 169);
[6976]483      this.exceptionTextBox.Name = "exceptionTextBox";
484      this.exceptionTextBox.Size = new System.Drawing.Size(171, 20);
485      this.exceptionTextBox.TabIndex = 10;
486      this.exceptionTextBox.DoubleClick += new System.EventHandler(this.exceptionTextBox_DoubleClick);
487      //
488      // modifyItemButton
489      //
[11072]490      this.modifyItemButton.Anchor = ((System.Windows.Forms.AnchorStyles)(((System.Windows.Forms.AnchorStyles.Top | System.Windows.Forms.AnchorStyles.Left)
491            | System.Windows.Forms.AnchorStyles.Right)));
[6976]492      this.modifyItemButton.Location = new System.Drawing.Point(3, 224);
493      this.modifyItemButton.Name = "modifyItemButton";
494      this.modifyItemButton.Size = new System.Drawing.Size(551, 23);
495      this.modifyItemButton.TabIndex = 3;
496      this.modifyItemButton.Text = "Modify Item";
497      this.modifyItemButton.UseVisualStyleBackColor = true;
498      this.modifyItemButton.Click += new System.EventHandler(this.modifyItemButton_Click);
499      //
500      // tabControl
501      //
[11072]502      this.tabControl.Anchor = ((System.Windows.Forms.AnchorStyles)((((System.Windows.Forms.AnchorStyles.Top | System.Windows.Forms.AnchorStyles.Bottom)
503            | System.Windows.Forms.AnchorStyles.Left)
504            | System.Windows.Forms.AnchorStyles.Right)));
[6976]505      this.tabControl.Controls.Add(this.detailsTabPage);
506      this.tabControl.Controls.Add(this.stateLogTabPage);
507      this.tabControl.Location = new System.Drawing.Point(3, 3);
508      this.tabControl.Name = "tabControl";
509      this.tabControl.SelectedIndex = 0;
510      this.tabControl.Size = new System.Drawing.Size(571, 401);
511      this.tabControl.TabIndex = 25;
512      //
513      // HiveTaskView
514      //
[7967]515      this.AutoScaleMode = System.Windows.Forms.AutoScaleMode.Inherit;
[6976]516      this.Controls.Add(this.tabControl);
517      this.Name = "HiveTaskView";
518      this.Size = new System.Drawing.Size(577, 407);
519      this.stateLogTabPage.ResumeLayout(false);
520      this.detailsTabPage.ResumeLayout(false);
521      this.splitContainer1.Panel1.ResumeLayout(false);
522      this.splitContainer1.Panel2.ResumeLayout(false);
523      ((System.ComponentModel.ISupportInitialize)(this.splitContainer1)).EndInit();
524      this.splitContainer1.ResumeLayout(false);
525      this.splitContainer2.Panel1.ResumeLayout(false);
526      this.splitContainer2.Panel2.ResumeLayout(false);
527      ((System.ComponentModel.ISupportInitialize)(this.splitContainer2)).EndInit();
528      this.splitContainer2.ResumeLayout(false);
529      this.groupBoxGenerel.ResumeLayout(false);
530      this.groupBoxGenerel.PerformLayout();
531      this.configurationGroupBox.ResumeLayout(false);
532      this.configurationGroupBox.PerformLayout();
533      this.jobStatusGroupBox.ResumeLayout(false);
534      this.jobStatusGroupBox.PerformLayout();
535      this.tabControl.ResumeLayout(false);
536      this.ResumeLayout(false);
537
538    }
539
540    #endregion
541
542    protected System.Windows.Forms.TabPage stateLogTabPage;
543    protected MainForm.WindowsForms.ViewHost stateLogViewHost;
544    protected System.Windows.Forms.TabPage detailsTabPage;
545    protected System.Windows.Forms.Label priorityLabel;
546    protected System.Windows.Forms.Label jobIdLabel;
547    protected System.Windows.Forms.TextBox jobIdTextBox;
548    protected System.Windows.Forms.GroupBox jobStatusGroupBox;
549    protected System.Windows.Forms.TextBox stateTextBox;
550    protected System.Windows.Forms.Label stateLabel;
551    protected System.Windows.Forms.TextBox dateFinishedTextBox;
552    protected System.Windows.Forms.TextBox executionTimeTextBox;
553    protected System.Windows.Forms.Label executionTimeLabel;
554    protected System.Windows.Forms.Label exceptionLabel;
555    protected System.Windows.Forms.Label dateFinishedLabel;
556    protected System.Windows.Forms.TextBox exceptionTextBox;
557    protected System.Windows.Forms.TabControl tabControl;
558    protected System.Windows.Forms.Label dateCalculatedLabel;
559    protected System.Windows.Forms.TextBox dateCalculatedText;
560    protected System.Windows.Forms.TextBox dateCreatedTextBox;
561    protected System.Windows.Forms.Label dateCreatedLabel;
562    protected System.Windows.Forms.TextBox commandTextBox;
563    protected System.Windows.Forms.Label commandLabel;
564    protected System.Windows.Forms.Button modifyItemButton;
565    protected System.Windows.Forms.TextBox lastUpdatedTextBox;
566    protected System.Windows.Forms.Label lastUpdatedLabel;
567    private System.Windows.Forms.GroupBox groupBoxGenerel;
568    protected System.Windows.Forms.GroupBox configurationGroupBox;
569    protected System.Windows.Forms.Label memoryNeededLabel;
570    protected System.Windows.Forms.Label coresNeededLabel;
571    protected System.Windows.Forms.Label computeInParallelLabel;
572    protected System.Windows.Forms.CheckBox computeInParallelCheckBox;
573    private System.Windows.Forms.SplitContainer splitContainer1;
574    private System.Windows.Forms.SplitContainer splitContainer2;
575    protected System.Windows.Forms.ComboBox priorityComboBox;
576    private System.Windows.Forms.ComboBox coresNeededComboBox;
577    protected System.Windows.Forms.ComboBox memoryNeededComboBox;
578
579  }
580}
Note: See TracBrowser for help on using the repository browser.