Free cookie consent management tool by TermsFeed Policy Generator

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

Last change on this file was 17181, checked in by swagner, 5 years ago

#2875: Merged r17180 from trunk to stable
File size: 28.9 KB
RevLine 
[8924]1#region License Information
2/* HeuristicLab
[17181]3 * Copyright (C) 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",
[17059]294            "4",
295            "6",
296            "8",
297            "10",
298            "12"});
[7104]299      this.coresNeededComboBox.Location = new System.Drawing.Point(134, 13);
300      this.coresNeededComboBox.Name = "coresNeededComboBox";
301      this.coresNeededComboBox.Size = new System.Drawing.Size(134, 21);
302      this.coresNeededComboBox.TabIndex = 41;
[17059]303      this.coresNeededComboBox.SelectedIndexChanged += new System.EventHandler(this.coresNeededComboBox_SelectedIndexChanged);
[7104]304      //
[6976]305      // memoryNeededLabel
306      //
307      this.memoryNeededLabel.AutoSize = true;
[7104]308      this.memoryNeededLabel.Location = new System.Drawing.Point(6, 43);
[6976]309      this.memoryNeededLabel.Name = "memoryNeededLabel";
310      this.memoryNeededLabel.Size = new System.Drawing.Size(122, 13);
311      this.memoryNeededLabel.TabIndex = 40;
312      this.memoryNeededLabel.Text = "Memory needed (in MB):";
313      //
314      // coresNeededLabel
315      //
316      this.coresNeededLabel.AutoSize = true;
317      this.coresNeededLabel.Location = new System.Drawing.Point(6, 16);
318      this.coresNeededLabel.Name = "coresNeededLabel";
[7192]319      this.coresNeededLabel.Size = new System.Drawing.Size(104, 13);
[6976]320      this.coresNeededLabel.TabIndex = 39;
[7192]321      this.coresNeededLabel.Text = "Nr. of needed cores:";
[6976]322      //
323      // computeInParallelLabel
324      //
325      this.computeInParallelLabel.AutoSize = true;
[7104]326      this.computeInParallelLabel.Location = new System.Drawing.Point(6, 67);
[6976]327      this.computeInParallelLabel.Name = "computeInParallelLabel";
[7191]328      this.computeInParallelLabel.Size = new System.Drawing.Size(107, 13);
[6976]329      this.computeInParallelLabel.TabIndex = 36;
[7191]330      this.computeInParallelLabel.Text = "Distribute child tasks:";
[6976]331      //
332      // computeInParallelCheckBox
333      //
334      this.computeInParallelCheckBox.AutoSize = true;
[7104]335      this.computeInParallelCheckBox.Location = new System.Drawing.Point(135, 67);
[6976]336      this.computeInParallelCheckBox.Name = "computeInParallelCheckBox";
337      this.computeInParallelCheckBox.Size = new System.Drawing.Size(15, 14);
338      this.computeInParallelCheckBox.TabIndex = 35;
339      this.computeInParallelCheckBox.UseVisualStyleBackColor = true;
340      this.computeInParallelCheckBox.CheckedChanged += new System.EventHandler(this.computeInParallelCheckBox_CheckedChanged);
341      //
342      // jobStatusGroupBox
343      //
344      this.jobStatusGroupBox.Controls.Add(this.commandTextBox);
345      this.jobStatusGroupBox.Controls.Add(this.commandLabel);
346      this.jobStatusGroupBox.Controls.Add(this.stateTextBox);
347      this.jobStatusGroupBox.Controls.Add(this.dateCalculatedLabel);
348      this.jobStatusGroupBox.Controls.Add(this.stateLabel);
349      this.jobStatusGroupBox.Controls.Add(this.dateCalculatedText);
350      this.jobStatusGroupBox.Controls.Add(this.dateFinishedTextBox);
351      this.jobStatusGroupBox.Controls.Add(this.executionTimeTextBox);
352      this.jobStatusGroupBox.Controls.Add(this.dateCreatedTextBox);
353      this.jobStatusGroupBox.Controls.Add(this.executionTimeLabel);
354      this.jobStatusGroupBox.Controls.Add(this.exceptionLabel);
355      this.jobStatusGroupBox.Controls.Add(this.dateCreatedLabel);
356      this.jobStatusGroupBox.Controls.Add(this.dateFinishedLabel);
357      this.jobStatusGroupBox.Controls.Add(this.exceptionTextBox);
358      this.jobStatusGroupBox.Dock = System.Windows.Forms.DockStyle.Fill;
359      this.jobStatusGroupBox.Location = new System.Drawing.Point(0, 0);
360      this.jobStatusGroupBox.Name = "jobStatusGroupBox";
361      this.jobStatusGroupBox.Size = new System.Drawing.Size(272, 200);
362      this.jobStatusGroupBox.TabIndex = 24;
363      this.jobStatusGroupBox.TabStop = false;
364      this.jobStatusGroupBox.Text = "Task status";
365      //
366      // commandTextBox
367      //
[11072]368      this.commandTextBox.Anchor = ((System.Windows.Forms.AnchorStyles)(((System.Windows.Forms.AnchorStyles.Top | System.Windows.Forms.AnchorStyles.Left)
369            | System.Windows.Forms.AnchorStyles.Right)));
[7104]370      this.commandTextBox.Location = new System.Drawing.Point(95, 39);
[6976]371      this.commandTextBox.Name = "commandTextBox";
372      this.commandTextBox.Size = new System.Drawing.Size(171, 20);
373      this.commandTextBox.TabIndex = 24;
374      //
375      // commandLabel
376      //
377      this.commandLabel.AutoSize = true;
[7104]378      this.commandLabel.Location = new System.Drawing.Point(7, 42);
[6976]379      this.commandLabel.Name = "commandLabel";
380      this.commandLabel.Size = new System.Drawing.Size(57, 13);
381      this.commandLabel.TabIndex = 25;
382      this.commandLabel.Text = "Command:";
383      //
384      // stateTextBox
385      //
[11072]386      this.stateTextBox.Anchor = ((System.Windows.Forms.AnchorStyles)(((System.Windows.Forms.AnchorStyles.Top | System.Windows.Forms.AnchorStyles.Left)
387            | System.Windows.Forms.AnchorStyles.Right)));
[7104]388      this.stateTextBox.Location = new System.Drawing.Point(95, 13);
[6976]389      this.stateTextBox.Name = "stateTextBox";
390      this.stateTextBox.Size = new System.Drawing.Size(171, 20);
391      this.stateTextBox.TabIndex = 2;
392      //
393      // dateCalculatedLabel
394      //
395      this.dateCalculatedLabel.AutoSize = true;
[7104]396      this.dateCalculatedLabel.Location = new System.Drawing.Point(7, 120);
[6976]397      this.dateCalculatedLabel.Name = "dateCalculatedLabel";
398      this.dateCalculatedLabel.Size = new System.Drawing.Size(85, 13);
399      this.dateCalculatedLabel.TabIndex = 23;
400      this.dateCalculatedLabel.Text = "Date calculated:";
401      //
402      // stateLabel
403      //
404      this.stateLabel.AutoSize = true;
[7104]405      this.stateLabel.Location = new System.Drawing.Point(7, 16);
[6976]406      this.stateLabel.Name = "stateLabel";
407      this.stateLabel.Size = new System.Drawing.Size(35, 13);
408      this.stateLabel.TabIndex = 0;
409      this.stateLabel.Text = "State:";
410      //
411      // dateCalculatedText
412      //
[11072]413      this.dateCalculatedText.Anchor = ((System.Windows.Forms.AnchorStyles)(((System.Windows.Forms.AnchorStyles.Top | System.Windows.Forms.AnchorStyles.Left)
414            | System.Windows.Forms.AnchorStyles.Right)));
[7104]415      this.dateCalculatedText.Location = new System.Drawing.Point(95, 117);
[6976]416      this.dateCalculatedText.Name = "dateCalculatedText";
417      this.dateCalculatedText.Size = new System.Drawing.Size(171, 20);
418      this.dateCalculatedText.TabIndex = 22;
419      //
420      // dateFinishedTextBox
421      //
[11072]422      this.dateFinishedTextBox.Anchor = ((System.Windows.Forms.AnchorStyles)(((System.Windows.Forms.AnchorStyles.Top | System.Windows.Forms.AnchorStyles.Left)
423            | System.Windows.Forms.AnchorStyles.Right)));
[7104]424      this.dateFinishedTextBox.Location = new System.Drawing.Point(95, 143);
[6976]425      this.dateFinishedTextBox.Name = "dateFinishedTextBox";
426      this.dateFinishedTextBox.Size = new System.Drawing.Size(171, 20);
427      this.dateFinishedTextBox.TabIndex = 6;
428      //
429      // executionTimeTextBox
430      //
[11072]431      this.executionTimeTextBox.Anchor = ((System.Windows.Forms.AnchorStyles)(((System.Windows.Forms.AnchorStyles.Top | System.Windows.Forms.AnchorStyles.Left)
432            | System.Windows.Forms.AnchorStyles.Right)));
[7104]433      this.executionTimeTextBox.Location = new System.Drawing.Point(95, 65);
[6976]434      this.executionTimeTextBox.Name = "executionTimeTextBox";
435      this.executionTimeTextBox.Size = new System.Drawing.Size(171, 20);
436      this.executionTimeTextBox.TabIndex = 4;
437      //
438      // dateCreatedTextBox
439      //
[11072]440      this.dateCreatedTextBox.Anchor = ((System.Windows.Forms.AnchorStyles)(((System.Windows.Forms.AnchorStyles.Top | System.Windows.Forms.AnchorStyles.Left)
441            | System.Windows.Forms.AnchorStyles.Right)));
[7104]442      this.dateCreatedTextBox.Location = new System.Drawing.Point(95, 91);
[6976]443      this.dateCreatedTextBox.Name = "dateCreatedTextBox";
444      this.dateCreatedTextBox.Size = new System.Drawing.Size(171, 20);
445      this.dateCreatedTextBox.TabIndex = 5;
446      //
447      // executionTimeLabel
448      //
449      this.executionTimeLabel.AutoSize = true;
[7104]450      this.executionTimeLabel.Location = new System.Drawing.Point(7, 68);
[6976]451      this.executionTimeLabel.Name = "executionTimeLabel";
452      this.executionTimeLabel.Size = new System.Drawing.Size(79, 13);
453      this.executionTimeLabel.TabIndex = 13;
454      this.executionTimeLabel.Text = "Execution time:";
455      //
456      // exceptionLabel
457      //
458      this.exceptionLabel.AutoSize = true;
[7104]459      this.exceptionLabel.Location = new System.Drawing.Point(7, 172);
[6976]460      this.exceptionLabel.Name = "exceptionLabel";
461      this.exceptionLabel.Size = new System.Drawing.Size(57, 13);
462      this.exceptionLabel.TabIndex = 19;
463      this.exceptionLabel.Text = "Exception:";
464      //
465      // dateCreatedLabel
466      //
467      this.dateCreatedLabel.AutoSize = true;
[7104]468      this.dateCreatedLabel.Location = new System.Drawing.Point(7, 94);
[6976]469      this.dateCreatedLabel.Name = "dateCreatedLabel";
470      this.dateCreatedLabel.Size = new System.Drawing.Size(72, 13);
471      this.dateCreatedLabel.TabIndex = 14;
472      this.dateCreatedLabel.Text = "Date created:";
473      //
474      // dateFinishedLabel
475      //
476      this.dateFinishedLabel.AutoSize = true;
[7104]477      this.dateFinishedLabel.Location = new System.Drawing.Point(7, 146);
[6976]478      this.dateFinishedLabel.Name = "dateFinishedLabel";
479      this.dateFinishedLabel.Size = new System.Drawing.Size(72, 13);
480      this.dateFinishedLabel.TabIndex = 15;
481      this.dateFinishedLabel.Text = "Date finished:";
482      //
483      // exceptionTextBox
484      //
[11072]485      this.exceptionTextBox.Anchor = ((System.Windows.Forms.AnchorStyles)(((System.Windows.Forms.AnchorStyles.Top | System.Windows.Forms.AnchorStyles.Left)
486            | System.Windows.Forms.AnchorStyles.Right)));
[7104]487      this.exceptionTextBox.Location = new System.Drawing.Point(95, 169);
[6976]488      this.exceptionTextBox.Name = "exceptionTextBox";
489      this.exceptionTextBox.Size = new System.Drawing.Size(171, 20);
490      this.exceptionTextBox.TabIndex = 10;
491      this.exceptionTextBox.DoubleClick += new System.EventHandler(this.exceptionTextBox_DoubleClick);
492      //
493      // modifyItemButton
494      //
[11072]495      this.modifyItemButton.Anchor = ((System.Windows.Forms.AnchorStyles)(((System.Windows.Forms.AnchorStyles.Top | System.Windows.Forms.AnchorStyles.Left)
496            | System.Windows.Forms.AnchorStyles.Right)));
[6976]497      this.modifyItemButton.Location = new System.Drawing.Point(3, 224);
498      this.modifyItemButton.Name = "modifyItemButton";
499      this.modifyItemButton.Size = new System.Drawing.Size(551, 23);
500      this.modifyItemButton.TabIndex = 3;
501      this.modifyItemButton.Text = "Modify Item";
502      this.modifyItemButton.UseVisualStyleBackColor = true;
503      this.modifyItemButton.Click += new System.EventHandler(this.modifyItemButton_Click);
504      //
505      // tabControl
506      //
[11072]507      this.tabControl.Anchor = ((System.Windows.Forms.AnchorStyles)((((System.Windows.Forms.AnchorStyles.Top | System.Windows.Forms.AnchorStyles.Bottom)
508            | System.Windows.Forms.AnchorStyles.Left)
509            | System.Windows.Forms.AnchorStyles.Right)));
[6976]510      this.tabControl.Controls.Add(this.detailsTabPage);
511      this.tabControl.Controls.Add(this.stateLogTabPage);
512      this.tabControl.Location = new System.Drawing.Point(3, 3);
513      this.tabControl.Name = "tabControl";
514      this.tabControl.SelectedIndex = 0;
515      this.tabControl.Size = new System.Drawing.Size(571, 401);
516      this.tabControl.TabIndex = 25;
517      //
518      // HiveTaskView
519      //
[7967]520      this.AutoScaleMode = System.Windows.Forms.AutoScaleMode.Inherit;
[6976]521      this.Controls.Add(this.tabControl);
522      this.Name = "HiveTaskView";
523      this.Size = new System.Drawing.Size(577, 407);
524      this.stateLogTabPage.ResumeLayout(false);
525      this.detailsTabPage.ResumeLayout(false);
526      this.splitContainer1.Panel1.ResumeLayout(false);
527      this.splitContainer1.Panel2.ResumeLayout(false);
528      ((System.ComponentModel.ISupportInitialize)(this.splitContainer1)).EndInit();
529      this.splitContainer1.ResumeLayout(false);
530      this.splitContainer2.Panel1.ResumeLayout(false);
531      this.splitContainer2.Panel2.ResumeLayout(false);
532      ((System.ComponentModel.ISupportInitialize)(this.splitContainer2)).EndInit();
533      this.splitContainer2.ResumeLayout(false);
534      this.groupBoxGenerel.ResumeLayout(false);
535      this.groupBoxGenerel.PerformLayout();
536      this.configurationGroupBox.ResumeLayout(false);
537      this.configurationGroupBox.PerformLayout();
538      this.jobStatusGroupBox.ResumeLayout(false);
539      this.jobStatusGroupBox.PerformLayout();
540      this.tabControl.ResumeLayout(false);
541      this.ResumeLayout(false);
542
543    }
544
545    #endregion
546
547    protected System.Windows.Forms.TabPage stateLogTabPage;
548    protected MainForm.WindowsForms.ViewHost stateLogViewHost;
549    protected System.Windows.Forms.TabPage detailsTabPage;
550    protected System.Windows.Forms.Label priorityLabel;
551    protected System.Windows.Forms.Label jobIdLabel;
552    protected System.Windows.Forms.TextBox jobIdTextBox;
553    protected System.Windows.Forms.GroupBox jobStatusGroupBox;
554    protected System.Windows.Forms.TextBox stateTextBox;
555    protected System.Windows.Forms.Label stateLabel;
556    protected System.Windows.Forms.TextBox dateFinishedTextBox;
557    protected System.Windows.Forms.TextBox executionTimeTextBox;
558    protected System.Windows.Forms.Label executionTimeLabel;
559    protected System.Windows.Forms.Label exceptionLabel;
560    protected System.Windows.Forms.Label dateFinishedLabel;
561    protected System.Windows.Forms.TextBox exceptionTextBox;
562    protected System.Windows.Forms.TabControl tabControl;
563    protected System.Windows.Forms.Label dateCalculatedLabel;
564    protected System.Windows.Forms.TextBox dateCalculatedText;
565    protected System.Windows.Forms.TextBox dateCreatedTextBox;
566    protected System.Windows.Forms.Label dateCreatedLabel;
567    protected System.Windows.Forms.TextBox commandTextBox;
568    protected System.Windows.Forms.Label commandLabel;
569    protected System.Windows.Forms.Button modifyItemButton;
570    protected System.Windows.Forms.TextBox lastUpdatedTextBox;
571    protected System.Windows.Forms.Label lastUpdatedLabel;
572    private System.Windows.Forms.GroupBox groupBoxGenerel;
573    protected System.Windows.Forms.GroupBox configurationGroupBox;
574    protected System.Windows.Forms.Label memoryNeededLabel;
575    protected System.Windows.Forms.Label coresNeededLabel;
576    protected System.Windows.Forms.Label computeInParallelLabel;
577    protected System.Windows.Forms.CheckBox computeInParallelCheckBox;
578    private System.Windows.Forms.SplitContainer splitContainer1;
579    private System.Windows.Forms.SplitContainer splitContainer2;
580    protected System.Windows.Forms.ComboBox priorityComboBox;
581    private System.Windows.Forms.ComboBox coresNeededComboBox;
582    protected System.Windows.Forms.ComboBox memoryNeededComboBox;
583
584  }
585}
Note: See TracBrowser for help on using the repository browser.