Free cookie consent management tool by TermsFeed Policy Generator

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

Last change on this file since 8848 was 7967, checked in by jkarder, 12 years ago

#1688:

  • removed assignment to Font property in HeuristicLab.MainForm.WindowsForms.DockForm
  • changed AutoScaleMode to be inherited from HeuristicLab.MainForm.WindowsForms.MainForm for all user interface classes
File size: 28.0 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 = "Execution History";
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 = "General";
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.DropDownStyle = System.Windows.Forms.ComboBoxStyle.DropDownList;
250      this.memoryNeededComboBox.FormattingEnabled = true;
251      this.memoryNeededComboBox.Items.AddRange(new object[] {
252            "128",
253            "256",
254            "512",
255            "1024",
256            "2048"});
257      this.memoryNeededComboBox.Location = new System.Drawing.Point(134, 40);
258      this.memoryNeededComboBox.Name = "memoryNeededComboBox";
259      this.memoryNeededComboBox.Size = new System.Drawing.Size(134, 21);
260      this.memoryNeededComboBox.TabIndex = 42;
261      //
262      // coresNeededComboBox
263      //
264      this.coresNeededComboBox.Anchor = ((System.Windows.Forms.AnchorStyles)(((System.Windows.Forms.AnchorStyles.Top | System.Windows.Forms.AnchorStyles.Left)
265                  | System.Windows.Forms.AnchorStyles.Right)));
266      this.coresNeededComboBox.DropDownStyle = System.Windows.Forms.ComboBoxStyle.DropDownList;
267      this.coresNeededComboBox.FormattingEnabled = true;
268      this.coresNeededComboBox.Items.AddRange(new object[] {
269            "1",
270            "2",
271            "3",
272            "4"});
273      this.coresNeededComboBox.Location = new System.Drawing.Point(134, 13);
274      this.coresNeededComboBox.Name = "coresNeededComboBox";
275      this.coresNeededComboBox.Size = new System.Drawing.Size(134, 21);
276      this.coresNeededComboBox.TabIndex = 41;
277      //
278      // memoryNeededLabel
279      //
280      this.memoryNeededLabel.AutoSize = true;
281      this.memoryNeededLabel.Location = new System.Drawing.Point(6, 43);
282      this.memoryNeededLabel.Name = "memoryNeededLabel";
283      this.memoryNeededLabel.Size = new System.Drawing.Size(122, 13);
284      this.memoryNeededLabel.TabIndex = 40;
285      this.memoryNeededLabel.Text = "Memory needed (in MB):";
286      //
287      // coresNeededLabel
288      //
289      this.coresNeededLabel.AutoSize = true;
290      this.coresNeededLabel.Location = new System.Drawing.Point(6, 16);
291      this.coresNeededLabel.Name = "coresNeededLabel";
292      this.coresNeededLabel.Size = new System.Drawing.Size(104, 13);
293      this.coresNeededLabel.TabIndex = 39;
294      this.coresNeededLabel.Text = "Nr. of needed cores:";
295      //
296      // computeInParallelLabel
297      //
298      this.computeInParallelLabel.AutoSize = true;
299      this.computeInParallelLabel.Location = new System.Drawing.Point(6, 67);
300      this.computeInParallelLabel.Name = "computeInParallelLabel";
301      this.computeInParallelLabel.Size = new System.Drawing.Size(107, 13);
302      this.computeInParallelLabel.TabIndex = 36;
303      this.computeInParallelLabel.Text = "Distribute child tasks:";
304      //
305      // computeInParallelCheckBox
306      //
307      this.computeInParallelCheckBox.AutoSize = true;
308      this.computeInParallelCheckBox.Location = new System.Drawing.Point(135, 67);
309      this.computeInParallelCheckBox.Name = "computeInParallelCheckBox";
310      this.computeInParallelCheckBox.Size = new System.Drawing.Size(15, 14);
311      this.computeInParallelCheckBox.TabIndex = 35;
312      this.computeInParallelCheckBox.UseVisualStyleBackColor = true;
313      this.computeInParallelCheckBox.CheckedChanged += new System.EventHandler(this.computeInParallelCheckBox_CheckedChanged);
314      //
315      // jobStatusGroupBox
316      //
317      this.jobStatusGroupBox.Controls.Add(this.commandTextBox);
318      this.jobStatusGroupBox.Controls.Add(this.commandLabel);
319      this.jobStatusGroupBox.Controls.Add(this.stateTextBox);
320      this.jobStatusGroupBox.Controls.Add(this.dateCalculatedLabel);
321      this.jobStatusGroupBox.Controls.Add(this.stateLabel);
322      this.jobStatusGroupBox.Controls.Add(this.dateCalculatedText);
323      this.jobStatusGroupBox.Controls.Add(this.dateFinishedTextBox);
324      this.jobStatusGroupBox.Controls.Add(this.executionTimeTextBox);
325      this.jobStatusGroupBox.Controls.Add(this.dateCreatedTextBox);
326      this.jobStatusGroupBox.Controls.Add(this.executionTimeLabel);
327      this.jobStatusGroupBox.Controls.Add(this.exceptionLabel);
328      this.jobStatusGroupBox.Controls.Add(this.dateCreatedLabel);
329      this.jobStatusGroupBox.Controls.Add(this.dateFinishedLabel);
330      this.jobStatusGroupBox.Controls.Add(this.exceptionTextBox);
331      this.jobStatusGroupBox.Dock = System.Windows.Forms.DockStyle.Fill;
332      this.jobStatusGroupBox.Location = new System.Drawing.Point(0, 0);
333      this.jobStatusGroupBox.Name = "jobStatusGroupBox";
334      this.jobStatusGroupBox.Size = new System.Drawing.Size(272, 200);
335      this.jobStatusGroupBox.TabIndex = 24;
336      this.jobStatusGroupBox.TabStop = false;
337      this.jobStatusGroupBox.Text = "Task status";
338      //
339      // commandTextBox
340      //
341      this.commandTextBox.Anchor = ((System.Windows.Forms.AnchorStyles)(((System.Windows.Forms.AnchorStyles.Top | System.Windows.Forms.AnchorStyles.Left)
342                  | System.Windows.Forms.AnchorStyles.Right)));
343      this.commandTextBox.Location = new System.Drawing.Point(95, 39);
344      this.commandTextBox.Name = "commandTextBox";
345      this.commandTextBox.Size = new System.Drawing.Size(171, 20);
346      this.commandTextBox.TabIndex = 24;
347      //
348      // commandLabel
349      //
350      this.commandLabel.AutoSize = true;
351      this.commandLabel.Location = new System.Drawing.Point(7, 42);
352      this.commandLabel.Name = "commandLabel";
353      this.commandLabel.Size = new System.Drawing.Size(57, 13);
354      this.commandLabel.TabIndex = 25;
355      this.commandLabel.Text = "Command:";
356      //
357      // stateTextBox
358      //
359      this.stateTextBox.Anchor = ((System.Windows.Forms.AnchorStyles)(((System.Windows.Forms.AnchorStyles.Top | System.Windows.Forms.AnchorStyles.Left)
360                  | System.Windows.Forms.AnchorStyles.Right)));
361      this.stateTextBox.Location = new System.Drawing.Point(95, 13);
362      this.stateTextBox.Name = "stateTextBox";
363      this.stateTextBox.Size = new System.Drawing.Size(171, 20);
364      this.stateTextBox.TabIndex = 2;
365      //
366      // dateCalculatedLabel
367      //
368      this.dateCalculatedLabel.AutoSize = true;
369      this.dateCalculatedLabel.Location = new System.Drawing.Point(7, 120);
370      this.dateCalculatedLabel.Name = "dateCalculatedLabel";
371      this.dateCalculatedLabel.Size = new System.Drawing.Size(85, 13);
372      this.dateCalculatedLabel.TabIndex = 23;
373      this.dateCalculatedLabel.Text = "Date calculated:";
374      //
375      // stateLabel
376      //
377      this.stateLabel.AutoSize = true;
378      this.stateLabel.Location = new System.Drawing.Point(7, 16);
379      this.stateLabel.Name = "stateLabel";
380      this.stateLabel.Size = new System.Drawing.Size(35, 13);
381      this.stateLabel.TabIndex = 0;
382      this.stateLabel.Text = "State:";
383      //
384      // dateCalculatedText
385      //
386      this.dateCalculatedText.Anchor = ((System.Windows.Forms.AnchorStyles)(((System.Windows.Forms.AnchorStyles.Top | System.Windows.Forms.AnchorStyles.Left)
387                  | System.Windows.Forms.AnchorStyles.Right)));
388      this.dateCalculatedText.Location = new System.Drawing.Point(95, 117);
389      this.dateCalculatedText.Name = "dateCalculatedText";
390      this.dateCalculatedText.Size = new System.Drawing.Size(171, 20);
391      this.dateCalculatedText.TabIndex = 22;
392      //
393      // dateFinishedTextBox
394      //
395      this.dateFinishedTextBox.Anchor = ((System.Windows.Forms.AnchorStyles)(((System.Windows.Forms.AnchorStyles.Top | System.Windows.Forms.AnchorStyles.Left)
396                  | System.Windows.Forms.AnchorStyles.Right)));
397      this.dateFinishedTextBox.Location = new System.Drawing.Point(95, 143);
398      this.dateFinishedTextBox.Name = "dateFinishedTextBox";
399      this.dateFinishedTextBox.Size = new System.Drawing.Size(171, 20);
400      this.dateFinishedTextBox.TabIndex = 6;
401      //
402      // executionTimeTextBox
403      //
404      this.executionTimeTextBox.Anchor = ((System.Windows.Forms.AnchorStyles)(((System.Windows.Forms.AnchorStyles.Top | System.Windows.Forms.AnchorStyles.Left)
405                  | System.Windows.Forms.AnchorStyles.Right)));
406      this.executionTimeTextBox.Location = new System.Drawing.Point(95, 65);
407      this.executionTimeTextBox.Name = "executionTimeTextBox";
408      this.executionTimeTextBox.Size = new System.Drawing.Size(171, 20);
409      this.executionTimeTextBox.TabIndex = 4;
410      //
411      // dateCreatedTextBox
412      //
413      this.dateCreatedTextBox.Anchor = ((System.Windows.Forms.AnchorStyles)(((System.Windows.Forms.AnchorStyles.Top | System.Windows.Forms.AnchorStyles.Left)
414                  | System.Windows.Forms.AnchorStyles.Right)));
415      this.dateCreatedTextBox.Location = new System.Drawing.Point(95, 91);
416      this.dateCreatedTextBox.Name = "dateCreatedTextBox";
417      this.dateCreatedTextBox.Size = new System.Drawing.Size(171, 20);
418      this.dateCreatedTextBox.TabIndex = 5;
419      //
420      // executionTimeLabel
421      //
422      this.executionTimeLabel.AutoSize = true;
423      this.executionTimeLabel.Location = new System.Drawing.Point(7, 68);
424      this.executionTimeLabel.Name = "executionTimeLabel";
425      this.executionTimeLabel.Size = new System.Drawing.Size(79, 13);
426      this.executionTimeLabel.TabIndex = 13;
427      this.executionTimeLabel.Text = "Execution time:";
428      //
429      // exceptionLabel
430      //
431      this.exceptionLabel.AutoSize = true;
432      this.exceptionLabel.Location = new System.Drawing.Point(7, 172);
433      this.exceptionLabel.Name = "exceptionLabel";
434      this.exceptionLabel.Size = new System.Drawing.Size(57, 13);
435      this.exceptionLabel.TabIndex = 19;
436      this.exceptionLabel.Text = "Exception:";
437      //
438      // dateCreatedLabel
439      //
440      this.dateCreatedLabel.AutoSize = true;
441      this.dateCreatedLabel.Location = new System.Drawing.Point(7, 94);
442      this.dateCreatedLabel.Name = "dateCreatedLabel";
443      this.dateCreatedLabel.Size = new System.Drawing.Size(72, 13);
444      this.dateCreatedLabel.TabIndex = 14;
445      this.dateCreatedLabel.Text = "Date created:";
446      //
447      // dateFinishedLabel
448      //
449      this.dateFinishedLabel.AutoSize = true;
450      this.dateFinishedLabel.Location = new System.Drawing.Point(7, 146);
451      this.dateFinishedLabel.Name = "dateFinishedLabel";
452      this.dateFinishedLabel.Size = new System.Drawing.Size(72, 13);
453      this.dateFinishedLabel.TabIndex = 15;
454      this.dateFinishedLabel.Text = "Date finished:";
455      //
456      // exceptionTextBox
457      //
458      this.exceptionTextBox.Anchor = ((System.Windows.Forms.AnchorStyles)(((System.Windows.Forms.AnchorStyles.Top | System.Windows.Forms.AnchorStyles.Left)
459                  | System.Windows.Forms.AnchorStyles.Right)));
460      this.exceptionTextBox.Location = new System.Drawing.Point(95, 169);
461      this.exceptionTextBox.Name = "exceptionTextBox";
462      this.exceptionTextBox.Size = new System.Drawing.Size(171, 20);
463      this.exceptionTextBox.TabIndex = 10;
464      this.exceptionTextBox.DoubleClick += new System.EventHandler(this.exceptionTextBox_DoubleClick);
465      //
466      // modifyItemButton
467      //
468      this.modifyItemButton.Anchor = ((System.Windows.Forms.AnchorStyles)(((System.Windows.Forms.AnchorStyles.Top | System.Windows.Forms.AnchorStyles.Left)
469                  | System.Windows.Forms.AnchorStyles.Right)));
470      this.modifyItemButton.Location = new System.Drawing.Point(3, 224);
471      this.modifyItemButton.Name = "modifyItemButton";
472      this.modifyItemButton.Size = new System.Drawing.Size(551, 23);
473      this.modifyItemButton.TabIndex = 3;
474      this.modifyItemButton.Text = "Modify Item";
475      this.modifyItemButton.UseVisualStyleBackColor = true;
476      this.modifyItemButton.Click += new System.EventHandler(this.modifyItemButton_Click);
477      //
478      // tabControl
479      //
480      this.tabControl.Anchor = ((System.Windows.Forms.AnchorStyles)((((System.Windows.Forms.AnchorStyles.Top | System.Windows.Forms.AnchorStyles.Bottom)
481                  | System.Windows.Forms.AnchorStyles.Left)
482                  | System.Windows.Forms.AnchorStyles.Right)));
483      this.tabControl.Controls.Add(this.detailsTabPage);
484      this.tabControl.Controls.Add(this.stateLogTabPage);
485      this.tabControl.Location = new System.Drawing.Point(3, 3);
486      this.tabControl.Name = "tabControl";
487      this.tabControl.SelectedIndex = 0;
488      this.tabControl.Size = new System.Drawing.Size(571, 401);
489      this.tabControl.TabIndex = 25;
490      //
491      // HiveTaskView
492      //
493      this.AutoScaleDimensions = new System.Drawing.SizeF(6F, 13F);
494      this.AutoScaleMode = System.Windows.Forms.AutoScaleMode.Inherit;
495      this.Controls.Add(this.tabControl);
496      this.Name = "HiveTaskView";
497      this.Size = new System.Drawing.Size(577, 407);
498      this.stateLogTabPage.ResumeLayout(false);
499      this.detailsTabPage.ResumeLayout(false);
500      this.splitContainer1.Panel1.ResumeLayout(false);
501      this.splitContainer1.Panel2.ResumeLayout(false);
502      ((System.ComponentModel.ISupportInitialize)(this.splitContainer1)).EndInit();
503      this.splitContainer1.ResumeLayout(false);
504      this.splitContainer2.Panel1.ResumeLayout(false);
505      this.splitContainer2.Panel2.ResumeLayout(false);
506      ((System.ComponentModel.ISupportInitialize)(this.splitContainer2)).EndInit();
507      this.splitContainer2.ResumeLayout(false);
508      this.groupBoxGenerel.ResumeLayout(false);
509      this.groupBoxGenerel.PerformLayout();
510      this.configurationGroupBox.ResumeLayout(false);
511      this.configurationGroupBox.PerformLayout();
512      this.jobStatusGroupBox.ResumeLayout(false);
513      this.jobStatusGroupBox.PerformLayout();
514      this.tabControl.ResumeLayout(false);
515      this.ResumeLayout(false);
516
517    }
518
519    #endregion
520
521    protected System.Windows.Forms.TabPage stateLogTabPage;
522    protected MainForm.WindowsForms.ViewHost stateLogViewHost;
523    protected System.Windows.Forms.TabPage detailsTabPage;
524    protected System.Windows.Forms.Label priorityLabel;
525    protected System.Windows.Forms.Label jobIdLabel;
526    protected System.Windows.Forms.TextBox jobIdTextBox;
527    protected System.Windows.Forms.GroupBox jobStatusGroupBox;
528    protected System.Windows.Forms.TextBox stateTextBox;
529    protected System.Windows.Forms.Label stateLabel;
530    protected System.Windows.Forms.TextBox dateFinishedTextBox;
531    protected System.Windows.Forms.TextBox executionTimeTextBox;
532    protected System.Windows.Forms.Label executionTimeLabel;
533    protected System.Windows.Forms.Label exceptionLabel;
534    protected System.Windows.Forms.Label dateFinishedLabel;
535    protected System.Windows.Forms.TextBox exceptionTextBox;
536    protected System.Windows.Forms.TabControl tabControl;
537    protected System.Windows.Forms.Label dateCalculatedLabel;
538    protected System.Windows.Forms.TextBox dateCalculatedText;
539    protected System.Windows.Forms.TextBox dateCreatedTextBox;
540    protected System.Windows.Forms.Label dateCreatedLabel;
541    protected System.Windows.Forms.TextBox commandTextBox;
542    protected System.Windows.Forms.Label commandLabel;
543    protected System.Windows.Forms.Button modifyItemButton;
544    protected System.Windows.Forms.TextBox lastUpdatedTextBox;
545    protected System.Windows.Forms.Label lastUpdatedLabel;
546    private System.Windows.Forms.GroupBox groupBoxGenerel;
547    protected System.Windows.Forms.GroupBox configurationGroupBox;
548    protected System.Windows.Forms.Label memoryNeededLabel;
549    protected System.Windows.Forms.Label coresNeededLabel;
550    protected System.Windows.Forms.Label computeInParallelLabel;
551    protected System.Windows.Forms.CheckBox computeInParallelCheckBox;
552    private System.Windows.Forms.SplitContainer splitContainer1;
553    private System.Windows.Forms.SplitContainer splitContainer2;
554    protected System.Windows.Forms.ComboBox priorityComboBox;
555    private System.Windows.Forms.ComboBox coresNeededComboBox;
556    protected System.Windows.Forms.ComboBox memoryNeededComboBox;
557
558  }
559}
Note: See TracBrowser for help on using the repository browser.