Free cookie consent management tool by TermsFeed Policy Generator

source: branches/HeuristicLab.Hive-3.4/sources/HeuristicLab.Clients.Hive.Views/3.4/ExperimentManager/HiveJobView.designer.cs @ 5718

Last change on this file since 5718 was 5718, checked in by cneumuel, 13 years ago

#1233

  • fixed statelog when time on server differs from slave or client
  • fixed wrong creation of childjobs in experiment manager
  • made ganttchardview the default view for statelogs
File size: 25.1 KB
Line 
1namespace HeuristicLab.Clients.Hive.Views {
2  partial class HiveJobView {
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.logTabPage = new System.Windows.Forms.TabPage();
27      this.logView = new HeuristicLab.Core.Views.LogView();
28      this.stateLogTabPage = new System.Windows.Forms.TabPage();
29      this.stateLogViewHost = new HeuristicLab.MainForm.WindowsForms.ViewHost();
30      this.runsTabPage = new System.Windows.Forms.TabPage();
31      this.runCollectionViewHost = new HeuristicLab.MainForm.WindowsForms.ViewHost();
32      this.detailsTabPage = new System.Windows.Forms.TabPage();
33      this.jobStatusGroupBox = new System.Windows.Forms.GroupBox();
34      this.exceptionTextBox = new System.Windows.Forms.TextBox();
35      this.dateFinishedLabel = new System.Windows.Forms.Label();
36      this.dateCreatedLabel = new System.Windows.Forms.Label();
37      this.exceptionLabel = new System.Windows.Forms.Label();
38      this.executionTimeLabel = new System.Windows.Forms.Label();
39      this.dateCreatedTextBox = new System.Windows.Forms.TextBox();
40      this.executionTimeTextBox = new System.Windows.Forms.TextBox();
41      this.dateFinishedTextBox = new System.Windows.Forms.TextBox();
42      this.dateCalculatedText = new System.Windows.Forms.TextBox();
43      this.stateLabel = new System.Windows.Forms.Label();
44      this.dateCalculatedLabel = new System.Windows.Forms.Label();
45      this.stateTextBox = new System.Windows.Forms.TextBox();
46      this.jobIdTextBox = new System.Windows.Forms.TextBox();
47      this.jobIdLabel = new System.Windows.Forms.Label();
48      this.configurationGroupBox = new System.Windows.Forms.GroupBox();
49      this.computeInParallelCheckBox = new System.Windows.Forms.CheckBox();
50      this.computeInParallelLabel = new System.Windows.Forms.Label();
51      this.coresNeededLabel = new System.Windows.Forms.Label();
52      this.memoryNeededLabel = new System.Windows.Forms.Label();
53      this.memoryNeededTextBox = new System.Windows.Forms.TextBox();
54      this.coresNeededTextBox = new System.Windows.Forms.TextBox();
55      this.priorityLabel = new System.Windows.Forms.Label();
56      this.priorityTextBox = new System.Windows.Forms.TextBox();
57      this.optimizerGroupBox = new System.Windows.Forms.GroupBox();
58      this.optimizerNamedItemView = new HeuristicLab.Core.Views.NamedItemView();
59      this.tabControl = new System.Windows.Forms.TabControl();
60      this.logTabPage.SuspendLayout();
61      this.stateLogTabPage.SuspendLayout();
62      this.runsTabPage.SuspendLayout();
63      this.detailsTabPage.SuspendLayout();
64      this.jobStatusGroupBox.SuspendLayout();
65      this.configurationGroupBox.SuspendLayout();
66      this.optimizerGroupBox.SuspendLayout();
67      this.tabControl.SuspendLayout();
68      this.SuspendLayout();
69      //
70      // logTabPage
71      //
72      this.logTabPage.Controls.Add(this.logView);
73      this.logTabPage.Location = new System.Drawing.Point(4, 22);
74      this.logTabPage.Name = "logTabPage";
75      this.logTabPage.Padding = new System.Windows.Forms.Padding(3);
76      this.logTabPage.Size = new System.Drawing.Size(619, 492);
77      this.logTabPage.TabIndex = 1;
78      this.logTabPage.Text = "Log";
79      this.logTabPage.UseVisualStyleBackColor = true;
80      //
81      // logView
82      //
83      this.logView.Anchor = ((System.Windows.Forms.AnchorStyles)((((System.Windows.Forms.AnchorStyles.Top | System.Windows.Forms.AnchorStyles.Bottom)
84                  | System.Windows.Forms.AnchorStyles.Left)
85                  | System.Windows.Forms.AnchorStyles.Right)));
86      this.logView.Caption = "Log View";
87      this.logView.Content = null;
88      this.logView.Location = new System.Drawing.Point(3, 3);
89      this.logView.Name = "logView";
90      this.logView.ReadOnly = false;
91      this.logView.Size = new System.Drawing.Size(613, 486);
92      this.logView.TabIndex = 0;
93      //
94      // stateLogTabPage
95      //
96      this.stateLogTabPage.Controls.Add(this.stateLogViewHost);
97      this.stateLogTabPage.Location = new System.Drawing.Point(4, 22);
98      this.stateLogTabPage.Name = "stateLogTabPage";
99      this.stateLogTabPage.Size = new System.Drawing.Size(619, 492);
100      this.stateLogTabPage.TabIndex = 5;
101      this.stateLogTabPage.Text = "State";
102      this.stateLogTabPage.UseVisualStyleBackColor = true;
103      //
104      // stateLogViewHost
105      //
106      this.stateLogViewHost.Anchor = ((System.Windows.Forms.AnchorStyles)((((System.Windows.Forms.AnchorStyles.Top | System.Windows.Forms.AnchorStyles.Bottom)
107                  | System.Windows.Forms.AnchorStyles.Left)
108                  | System.Windows.Forms.AnchorStyles.Right)));
109      this.stateLogViewHost.Caption = "View";
110      this.stateLogViewHost.Content = null;
111      this.stateLogViewHost.Enabled = false;
112      this.stateLogViewHost.Location = new System.Drawing.Point(0, 0);
113      this.stateLogViewHost.Name = "stateLogViewHost";
114      this.stateLogViewHost.ReadOnly = false;
115      this.stateLogViewHost.Size = new System.Drawing.Size(619, 492);
116      this.stateLogViewHost.TabIndex = 0;
117      this.stateLogViewHost.ViewsLabelVisible = true;
118      this.stateLogViewHost.ViewType = null;
119      //
120      // runsTabPage
121      //
122      this.runsTabPage.Controls.Add(this.runCollectionViewHost);
123      this.runsTabPage.Location = new System.Drawing.Point(4, 22);
124      this.runsTabPage.Name = "runsTabPage";
125      this.runsTabPage.Size = new System.Drawing.Size(619, 492);
126      this.runsTabPage.TabIndex = 4;
127      this.runsTabPage.Text = "Runs";
128      this.runsTabPage.UseVisualStyleBackColor = true;
129      //
130      // runCollectionViewHost
131      //
132      this.runCollectionViewHost.Anchor = ((System.Windows.Forms.AnchorStyles)((((System.Windows.Forms.AnchorStyles.Top | System.Windows.Forms.AnchorStyles.Bottom)
133                  | System.Windows.Forms.AnchorStyles.Left)
134                  | System.Windows.Forms.AnchorStyles.Right)));
135      this.runCollectionViewHost.Caption = "View";
136      this.runCollectionViewHost.Content = null;
137      this.runCollectionViewHost.Enabled = false;
138      this.runCollectionViewHost.Location = new System.Drawing.Point(3, 3);
139      this.runCollectionViewHost.Name = "runCollectionViewHost";
140      this.runCollectionViewHost.ReadOnly = false;
141      this.runCollectionViewHost.Size = new System.Drawing.Size(613, 486);
142      this.runCollectionViewHost.TabIndex = 0;
143      this.runCollectionViewHost.ViewsLabelVisible = true;
144      this.runCollectionViewHost.ViewType = null;
145      //
146      // detailsTabPage
147      //
148      this.detailsTabPage.Controls.Add(this.optimizerGroupBox);
149      this.detailsTabPage.Controls.Add(this.configurationGroupBox);
150      this.detailsTabPage.Controls.Add(this.jobIdLabel);
151      this.detailsTabPage.Controls.Add(this.jobIdTextBox);
152      this.detailsTabPage.Controls.Add(this.jobStatusGroupBox);
153      this.detailsTabPage.Location = new System.Drawing.Point(4, 22);
154      this.detailsTabPage.Name = "detailsTabPage";
155      this.detailsTabPage.Padding = new System.Windows.Forms.Padding(3);
156      this.detailsTabPage.Size = new System.Drawing.Size(619, 492);
157      this.detailsTabPage.TabIndex = 0;
158      this.detailsTabPage.Text = "Details";
159      this.detailsTabPage.UseVisualStyleBackColor = true;
160      //
161      // jobStatusGroupBox
162      //
163      this.jobStatusGroupBox.Anchor = ((System.Windows.Forms.AnchorStyles)(((System.Windows.Forms.AnchorStyles.Top | System.Windows.Forms.AnchorStyles.Left)
164                  | System.Windows.Forms.AnchorStyles.Right)));
165      this.jobStatusGroupBox.Controls.Add(this.stateTextBox);
166      this.jobStatusGroupBox.Controls.Add(this.dateCalculatedLabel);
167      this.jobStatusGroupBox.Controls.Add(this.stateLabel);
168      this.jobStatusGroupBox.Controls.Add(this.dateCalculatedText);
169      this.jobStatusGroupBox.Controls.Add(this.dateFinishedTextBox);
170      this.jobStatusGroupBox.Controls.Add(this.executionTimeTextBox);
171      this.jobStatusGroupBox.Controls.Add(this.dateCreatedTextBox);
172      this.jobStatusGroupBox.Controls.Add(this.executionTimeLabel);
173      this.jobStatusGroupBox.Controls.Add(this.exceptionLabel);
174      this.jobStatusGroupBox.Controls.Add(this.dateCreatedLabel);
175      this.jobStatusGroupBox.Controls.Add(this.dateFinishedLabel);
176      this.jobStatusGroupBox.Controls.Add(this.exceptionTextBox);
177      this.jobStatusGroupBox.Location = new System.Drawing.Point(6, 226);
178      this.jobStatusGroupBox.Name = "jobStatusGroupBox";
179      this.jobStatusGroupBox.Size = new System.Drawing.Size(610, 162);
180      this.jobStatusGroupBox.TabIndex = 24;
181      this.jobStatusGroupBox.TabStop = false;
182      this.jobStatusGroupBox.Text = "Job Status";
183      //
184      // exceptionTextBox
185      //
186      this.exceptionTextBox.Anchor = ((System.Windows.Forms.AnchorStyles)(((System.Windows.Forms.AnchorStyles.Top | System.Windows.Forms.AnchorStyles.Left)
187                  | System.Windows.Forms.AnchorStyles.Right)));
188      this.exceptionTextBox.Location = new System.Drawing.Point(95, 129);
189      this.exceptionTextBox.Name = "exceptionTextBox";
190      this.exceptionTextBox.Size = new System.Drawing.Size(509, 20);
191      this.exceptionTextBox.TabIndex = 10;
192      //
193      // dateFinishedLabel
194      //
195      this.dateFinishedLabel.AutoSize = true;
196      this.dateFinishedLabel.Location = new System.Drawing.Point(7, 107);
197      this.dateFinishedLabel.Name = "dateFinishedLabel";
198      this.dateFinishedLabel.Size = new System.Drawing.Size(72, 13);
199      this.dateFinishedLabel.TabIndex = 15;
200      this.dateFinishedLabel.Text = "DateFinished:";
201      //
202      // dateCreatedLabel
203      //
204      this.dateCreatedLabel.AutoSize = true;
205      this.dateCreatedLabel.Location = new System.Drawing.Point(7, 63);
206      this.dateCreatedLabel.Name = "dateCreatedLabel";
207      this.dateCreatedLabel.Size = new System.Drawing.Size(70, 13);
208      this.dateCreatedLabel.TabIndex = 14;
209      this.dateCreatedLabel.Text = "DateCreated:";
210      //
211      // exceptionLabel
212      //
213      this.exceptionLabel.AutoSize = true;
214      this.exceptionLabel.Location = new System.Drawing.Point(7, 129);
215      this.exceptionLabel.Name = "exceptionLabel";
216      this.exceptionLabel.Size = new System.Drawing.Size(57, 13);
217      this.exceptionLabel.TabIndex = 19;
218      this.exceptionLabel.Text = "Exception:";
219      //
220      // executionTimeLabel
221      //
222      this.executionTimeLabel.AutoSize = true;
223      this.executionTimeLabel.Location = new System.Drawing.Point(7, 41);
224      this.executionTimeLabel.Name = "executionTimeLabel";
225      this.executionTimeLabel.Size = new System.Drawing.Size(80, 13);
226      this.executionTimeLabel.TabIndex = 13;
227      this.executionTimeLabel.Text = "ExecutionTime:";
228      //
229      // dateCreatedTextBox
230      //
231      this.dateCreatedTextBox.Anchor = ((System.Windows.Forms.AnchorStyles)(((System.Windows.Forms.AnchorStyles.Top | System.Windows.Forms.AnchorStyles.Left)
232                  | System.Windows.Forms.AnchorStyles.Right)));
233      this.dateCreatedTextBox.Location = new System.Drawing.Point(95, 63);
234      this.dateCreatedTextBox.Name = "dateCreatedTextBox";
235      this.dateCreatedTextBox.Size = new System.Drawing.Size(509, 20);
236      this.dateCreatedTextBox.TabIndex = 5;
237      //
238      // executionTimeTextBox
239      //
240      this.executionTimeTextBox.Location = new System.Drawing.Point(95, 41);
241      this.executionTimeTextBox.Name = "executionTimeTextBox";
242      this.executionTimeTextBox.Size = new System.Drawing.Size(509, 20);
243      this.executionTimeTextBox.TabIndex = 4;
244      //
245      // dateFinishedTextBox
246      //
247      this.dateFinishedTextBox.Anchor = ((System.Windows.Forms.AnchorStyles)(((System.Windows.Forms.AnchorStyles.Top | System.Windows.Forms.AnchorStyles.Left)
248                  | System.Windows.Forms.AnchorStyles.Right)));
249      this.dateFinishedTextBox.Location = new System.Drawing.Point(95, 107);
250      this.dateFinishedTextBox.Name = "dateFinishedTextBox";
251      this.dateFinishedTextBox.Size = new System.Drawing.Size(509, 20);
252      this.dateFinishedTextBox.TabIndex = 6;
253      //
254      // dateCalculatedText
255      //
256      this.dateCalculatedText.Anchor = ((System.Windows.Forms.AnchorStyles)(((System.Windows.Forms.AnchorStyles.Top | System.Windows.Forms.AnchorStyles.Left)
257                  | System.Windows.Forms.AnchorStyles.Right)));
258      this.dateCalculatedText.Location = new System.Drawing.Point(95, 85);
259      this.dateCalculatedText.Name = "dateCalculatedText";
260      this.dateCalculatedText.Size = new System.Drawing.Size(509, 20);
261      this.dateCalculatedText.TabIndex = 22;
262      //
263      // stateLabel
264      //
265      this.stateLabel.AutoSize = true;
266      this.stateLabel.Location = new System.Drawing.Point(7, 19);
267      this.stateLabel.Name = "stateLabel";
268      this.stateLabel.Size = new System.Drawing.Size(35, 13);
269      this.stateLabel.TabIndex = 0;
270      this.stateLabel.Text = "State:";
271      //
272      // dateCalculatedLabel
273      //
274      this.dateCalculatedLabel.AutoSize = true;
275      this.dateCalculatedLabel.Location = new System.Drawing.Point(7, 85);
276      this.dateCalculatedLabel.Name = "dateCalculatedLabel";
277      this.dateCalculatedLabel.Size = new System.Drawing.Size(83, 13);
278      this.dateCalculatedLabel.TabIndex = 23;
279      this.dateCalculatedLabel.Text = "DateCalculated:";
280      //
281      // stateTextBox
282      //
283      this.stateTextBox.Anchor = ((System.Windows.Forms.AnchorStyles)(((System.Windows.Forms.AnchorStyles.Top | System.Windows.Forms.AnchorStyles.Left)
284                  | System.Windows.Forms.AnchorStyles.Right)));
285      this.stateTextBox.Location = new System.Drawing.Point(95, 19);
286      this.stateTextBox.Name = "stateTextBox";
287      this.stateTextBox.Size = new System.Drawing.Size(509, 20);
288      this.stateTextBox.TabIndex = 2;
289      //
290      // jobIdTextBox
291      //
292      this.jobIdTextBox.Anchor = ((System.Windows.Forms.AnchorStyles)(((System.Windows.Forms.AnchorStyles.Top | System.Windows.Forms.AnchorStyles.Left)
293                  | System.Windows.Forms.AnchorStyles.Right)));
294      this.jobIdTextBox.Location = new System.Drawing.Point(91, 6);
295      this.jobIdTextBox.Name = "jobIdTextBox";
296      this.jobIdTextBox.Size = new System.Drawing.Size(525, 20);
297      this.jobIdTextBox.TabIndex = 26;
298      //
299      // jobIdLabel
300      //
301      this.jobIdLabel.AutoSize = true;
302      this.jobIdLabel.Location = new System.Drawing.Point(3, 6);
303      this.jobIdLabel.Name = "jobIdLabel";
304      this.jobIdLabel.Size = new System.Drawing.Size(36, 13);
305      this.jobIdLabel.TabIndex = 25;
306      this.jobIdLabel.Text = "JobId:";
307      //
308      // configurationGroupBox
309      //
310      this.configurationGroupBox.Anchor = ((System.Windows.Forms.AnchorStyles)(((System.Windows.Forms.AnchorStyles.Top | System.Windows.Forms.AnchorStyles.Left)
311                  | System.Windows.Forms.AnchorStyles.Right)));
312      this.configurationGroupBox.Controls.Add(this.priorityTextBox);
313      this.configurationGroupBox.Controls.Add(this.priorityLabel);
314      this.configurationGroupBox.Controls.Add(this.coresNeededTextBox);
315      this.configurationGroupBox.Controls.Add(this.memoryNeededTextBox);
316      this.configurationGroupBox.Controls.Add(this.memoryNeededLabel);
317      this.configurationGroupBox.Controls.Add(this.coresNeededLabel);
318      this.configurationGroupBox.Controls.Add(this.computeInParallelLabel);
319      this.configurationGroupBox.Controls.Add(this.computeInParallelCheckBox);
320      this.configurationGroupBox.Location = new System.Drawing.Point(6, 105);
321      this.configurationGroupBox.Name = "configurationGroupBox";
322      this.configurationGroupBox.Size = new System.Drawing.Size(610, 119);
323      this.configurationGroupBox.TabIndex = 27;
324      this.configurationGroupBox.TabStop = false;
325      this.configurationGroupBox.Text = "Configuration";
326      //
327      // computeInParallelCheckBox
328      //
329      this.computeInParallelCheckBox.AutoSize = true;
330      this.computeInParallelCheckBox.Location = new System.Drawing.Point(108, 92);
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      // computeInParallelLabel
338      //
339      this.computeInParallelLabel.AutoSize = true;
340      this.computeInParallelLabel.Location = new System.Drawing.Point(7, 93);
341      this.computeInParallelLabel.Name = "computeInParallelLabel";
342      this.computeInParallelLabel.Size = new System.Drawing.Size(95, 13);
343      this.computeInParallelLabel.TabIndex = 36;
344      this.computeInParallelLabel.Text = "ComputeInParallel:";
345      //
346      // coresNeededLabel
347      //
348      this.coresNeededLabel.AutoSize = true;
349      this.coresNeededLabel.Location = new System.Drawing.Point(7, 20);
350      this.coresNeededLabel.Name = "coresNeededLabel";
351      this.coresNeededLabel.Size = new System.Drawing.Size(75, 13);
352      this.coresNeededLabel.TabIndex = 39;
353      this.coresNeededLabel.Text = "CoresNeeded:";
354      //
355      // memoryNeededLabel
356      //
357      this.memoryNeededLabel.AutoSize = true;
358      this.memoryNeededLabel.Location = new System.Drawing.Point(7, 42);
359      this.memoryNeededLabel.Name = "memoryNeededLabel";
360      this.memoryNeededLabel.Size = new System.Drawing.Size(85, 13);
361      this.memoryNeededLabel.TabIndex = 40;
362      this.memoryNeededLabel.Text = "MemoryNeeded:";
363      //
364      // memoryNeededTextBox
365      //
366      this.memoryNeededTextBox.Anchor = ((System.Windows.Forms.AnchorStyles)(((System.Windows.Forms.AnchorStyles.Top | System.Windows.Forms.AnchorStyles.Left)
367                  | System.Windows.Forms.AnchorStyles.Right)));
368      this.memoryNeededTextBox.Location = new System.Drawing.Point(108, 42);
369      this.memoryNeededTextBox.Name = "memoryNeededTextBox";
370      this.memoryNeededTextBox.Size = new System.Drawing.Size(496, 20);
371      this.memoryNeededTextBox.TabIndex = 38;
372      //
373      // coresNeededTextBox
374      //
375      this.coresNeededTextBox.Anchor = ((System.Windows.Forms.AnchorStyles)(((System.Windows.Forms.AnchorStyles.Top | System.Windows.Forms.AnchorStyles.Left)
376                  | System.Windows.Forms.AnchorStyles.Right)));
377      this.coresNeededTextBox.Location = new System.Drawing.Point(108, 20);
378      this.coresNeededTextBox.Name = "coresNeededTextBox";
379      this.coresNeededTextBox.Size = new System.Drawing.Size(496, 20);
380      this.coresNeededTextBox.TabIndex = 37;
381      //
382      // priorityLabel
383      //
384      this.priorityLabel.AutoSize = true;
385      this.priorityLabel.Location = new System.Drawing.Point(7, 66);
386      this.priorityLabel.Name = "priorityLabel";
387      this.priorityLabel.Size = new System.Drawing.Size(41, 13);
388      this.priorityLabel.TabIndex = 42;
389      this.priorityLabel.Text = "Priority:";
390      //
391      // priorityTextBox
392      //
393      this.priorityTextBox.Anchor = ((System.Windows.Forms.AnchorStyles)(((System.Windows.Forms.AnchorStyles.Top | System.Windows.Forms.AnchorStyles.Left)
394                  | System.Windows.Forms.AnchorStyles.Right)));
395      this.priorityTextBox.Location = new System.Drawing.Point(108, 66);
396      this.priorityTextBox.Name = "priorityTextBox";
397      this.priorityTextBox.Size = new System.Drawing.Size(496, 20);
398      this.priorityTextBox.TabIndex = 41;
399      //
400      // optimizerGroupBox
401      //
402      this.optimizerGroupBox.Anchor = ((System.Windows.Forms.AnchorStyles)(((System.Windows.Forms.AnchorStyles.Top | System.Windows.Forms.AnchorStyles.Left)
403                  | System.Windows.Forms.AnchorStyles.Right)));
404      this.optimizerGroupBox.Controls.Add(this.optimizerNamedItemView);
405      this.optimizerGroupBox.Location = new System.Drawing.Point(6, 29);
406      this.optimizerGroupBox.Name = "optimizerGroupBox";
407      this.optimizerGroupBox.Size = new System.Drawing.Size(610, 74);
408      this.optimizerGroupBox.TabIndex = 28;
409      this.optimizerGroupBox.TabStop = false;
410      this.optimizerGroupBox.Text = "Optimizer";
411      //
412      // optimizerNamedItemView
413      //
414      this.optimizerNamedItemView.Anchor = ((System.Windows.Forms.AnchorStyles)(((System.Windows.Forms.AnchorStyles.Top | System.Windows.Forms.AnchorStyles.Left)
415                  | System.Windows.Forms.AnchorStyles.Right)));
416      this.optimizerNamedItemView.Caption = "NamedItem View";
417      this.optimizerNamedItemView.Content = null;
418      this.optimizerNamedItemView.Location = new System.Drawing.Point(6, 20);
419      this.optimizerNamedItemView.Name = "optimizerNamedItemView";
420      this.optimizerNamedItemView.ReadOnly = false;
421      this.optimizerNamedItemView.Size = new System.Drawing.Size(598, 51);
422      this.optimizerNamedItemView.TabIndex = 0;
423      //
424      // tabControl
425      //
426      this.tabControl.Anchor = ((System.Windows.Forms.AnchorStyles)((((System.Windows.Forms.AnchorStyles.Top | System.Windows.Forms.AnchorStyles.Bottom)
427                  | System.Windows.Forms.AnchorStyles.Left)
428                  | System.Windows.Forms.AnchorStyles.Right)));
429      this.tabControl.Controls.Add(this.detailsTabPage);
430      this.tabControl.Controls.Add(this.stateLogTabPage);
431      this.tabControl.Controls.Add(this.runsTabPage);
432      this.tabControl.Controls.Add(this.logTabPage);
433      this.tabControl.Location = new System.Drawing.Point(3, 3);
434      this.tabControl.Name = "tabControl";
435      this.tabControl.SelectedIndex = 0;
436      this.tabControl.Size = new System.Drawing.Size(627, 518);
437      this.tabControl.TabIndex = 25;
438      //
439      // HiveJobView
440      //
441      this.AutoScaleDimensions = new System.Drawing.SizeF(6F, 13F);
442      this.AutoScaleMode = System.Windows.Forms.AutoScaleMode.Font;
443      this.Controls.Add(this.tabControl);
444      this.Name = "HiveJobView";
445      this.Size = new System.Drawing.Size(633, 524);
446      this.logTabPage.ResumeLayout(false);
447      this.stateLogTabPage.ResumeLayout(false);
448      this.runsTabPage.ResumeLayout(false);
449      this.detailsTabPage.ResumeLayout(false);
450      this.detailsTabPage.PerformLayout();
451      this.jobStatusGroupBox.ResumeLayout(false);
452      this.jobStatusGroupBox.PerformLayout();
453      this.configurationGroupBox.ResumeLayout(false);
454      this.configurationGroupBox.PerformLayout();
455      this.optimizerGroupBox.ResumeLayout(false);
456      this.tabControl.ResumeLayout(false);
457      this.ResumeLayout(false);
458
459    }
460
461    #endregion
462
463    private System.Windows.Forms.TabPage logTabPage;
464    private Core.Views.LogView logView;
465    private System.Windows.Forms.TabPage stateLogTabPage;
466    private MainForm.WindowsForms.ViewHost stateLogViewHost;
467    private System.Windows.Forms.TabPage runsTabPage;
468    private MainForm.WindowsForms.ViewHost runCollectionViewHost;
469    private System.Windows.Forms.TabPage detailsTabPage;
470    private System.Windows.Forms.GroupBox optimizerGroupBox;
471    private Core.Views.NamedItemView optimizerNamedItemView;
472    private System.Windows.Forms.GroupBox configurationGroupBox;
473    private System.Windows.Forms.TextBox priorityTextBox;
474    private System.Windows.Forms.Label priorityLabel;
475    private System.Windows.Forms.TextBox coresNeededTextBox;
476    private System.Windows.Forms.TextBox memoryNeededTextBox;
477    private System.Windows.Forms.Label memoryNeededLabel;
478    private System.Windows.Forms.Label coresNeededLabel;
479    private System.Windows.Forms.Label computeInParallelLabel;
480    private System.Windows.Forms.CheckBox computeInParallelCheckBox;
481    private System.Windows.Forms.Label jobIdLabel;
482    private System.Windows.Forms.TextBox jobIdTextBox;
483    private System.Windows.Forms.GroupBox jobStatusGroupBox;
484    private System.Windows.Forms.TextBox stateTextBox;
485    private System.Windows.Forms.Label dateCalculatedLabel;
486    private System.Windows.Forms.Label stateLabel;
487    private System.Windows.Forms.TextBox dateCalculatedText;
488    private System.Windows.Forms.TextBox dateFinishedTextBox;
489    private System.Windows.Forms.TextBox executionTimeTextBox;
490    private System.Windows.Forms.TextBox dateCreatedTextBox;
491    private System.Windows.Forms.Label executionTimeLabel;
492    private System.Windows.Forms.Label exceptionLabel;
493    private System.Windows.Forms.Label dateCreatedLabel;
494    private System.Windows.Forms.Label dateFinishedLabel;
495    private System.Windows.Forms.TextBox exceptionTextBox;
496    private System.Windows.Forms.TabControl tabControl;
497
498  }
499}
Note: See TracBrowser for help on using the repository browser.