Free cookie consent management tool by TermsFeed Policy Generator

source: trunk/sources/HeuristicLab.Clients.Hive.Views/3.3/HiveTasks/HiveTaskView.designer.cs @ 7177

Last change on this file since 7177 was 7177, checked in by ascheibe, 12 years ago

#1672 fixed setting of priorities in the Job Manager

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