Free cookie consent management tool by TermsFeed Policy Generator

source: branches/HeuristicLab.Hive-3.3/sources/HeuristicLab.Hive/HeuristicLab.Hive.ExperimentManager.Views/3.3/HiveJobView.Designer.cs @ 5399

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

#1260

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