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

Last change on this file since 5797 was 5797, checked in by cneumuel, 9 years ago

#1233

  • ItemTreeView robustifications
  • compactified the layout in HiveJobView
File size: 31.2 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      System.ComponentModel.ComponentResourceManager resources = new System.ComponentModel.ComponentResourceManager(typeof(HiveJobView));
27      this.logTabPage = new System.Windows.Forms.TabPage();
28      this.logView = new HeuristicLab.Core.Views.LogView();
29      this.stateLogTabPage = new System.Windows.Forms.TabPage();
30      this.stateLogViewHost = new HeuristicLab.MainForm.WindowsForms.ViewHost();
31      this.runsTabPage = new System.Windows.Forms.TabPage();
32      this.runCollectionViewHost = new HeuristicLab.MainForm.WindowsForms.ViewHost();
33      this.detailsTabPage = new System.Windows.Forms.TabPage();
34      this.restartButton = new System.Windows.Forms.Button();
35      this.pauseButton = new System.Windows.Forms.Button();
36      this.stopButton = new System.Windows.Forms.Button();
37      this.optimizerGroupBox = new System.Windows.Forms.GroupBox();
38      this.showOptimizerButton = new System.Windows.Forms.Button();
39      this.lastUpdatedTextBox = new System.Windows.Forms.TextBox();
40      this.lastUpdatedLabel = new System.Windows.Forms.Label();
41      this.optimizerNamedItemView = new HeuristicLab.Core.Views.NamedItemView();
42      this.configurationGroupBox = new System.Windows.Forms.GroupBox();
43      this.priorityTextBox = new System.Windows.Forms.TextBox();
44      this.priorityLabel = new System.Windows.Forms.Label();
45      this.coresNeededTextBox = new System.Windows.Forms.TextBox();
46      this.memoryNeededTextBox = new System.Windows.Forms.TextBox();
47      this.memoryNeededLabel = new System.Windows.Forms.Label();
48      this.coresNeededLabel = new System.Windows.Forms.Label();
49      this.computeInParallelLabel = new System.Windows.Forms.Label();
50      this.computeInParallelCheckBox = new System.Windows.Forms.CheckBox();
51      this.jobIdLabel = new System.Windows.Forms.Label();
52      this.jobIdTextBox = new System.Windows.Forms.TextBox();
53      this.jobStatusGroupBox = new System.Windows.Forms.GroupBox();
54      this.stateTextBox = new System.Windows.Forms.TextBox();
55      this.dateCalculatedLabel = new System.Windows.Forms.Label();
56      this.stateLabel = new System.Windows.Forms.Label();
57      this.dateCalculatedText = new System.Windows.Forms.TextBox();
58      this.dateFinishedTextBox = new System.Windows.Forms.TextBox();
59      this.executionTimeTextBox = new System.Windows.Forms.TextBox();
60      this.dateCreatedTextBox = new System.Windows.Forms.TextBox();
61      this.executionTimeLabel = new System.Windows.Forms.Label();
62      this.exceptionLabel = new System.Windows.Forms.Label();
63      this.dateCreatedLabel = new System.Windows.Forms.Label();
64      this.dateFinishedLabel = new System.Windows.Forms.Label();
65      this.exceptionTextBox = new System.Windows.Forms.TextBox();
66      this.tabControl = new System.Windows.Forms.TabControl();
67      this.splitContainer1 = new System.Windows.Forms.SplitContainer();
68      this.logTabPage.SuspendLayout();
69      this.stateLogTabPage.SuspendLayout();
70      this.runsTabPage.SuspendLayout();
71      this.detailsTabPage.SuspendLayout();
72      this.optimizerGroupBox.SuspendLayout();
73      this.configurationGroupBox.SuspendLayout();
74      this.jobStatusGroupBox.SuspendLayout();
75      this.tabControl.SuspendLayout();
76      ((System.ComponentModel.ISupportInitialize)(this.splitContainer1)).BeginInit();
77      this.splitContainer1.Panel1.SuspendLayout();
78      this.splitContainer1.Panel2.SuspendLayout();
79      this.splitContainer1.SuspendLayout();
80      this.SuspendLayout();
81      //
82      // logTabPage
83      //
84      this.logTabPage.Controls.Add(this.logView);
85      this.logTabPage.Location = new System.Drawing.Point(4, 22);
86      this.logTabPage.Name = "logTabPage";
87      this.logTabPage.Padding = new System.Windows.Forms.Padding(3);
88      this.logTabPage.Size = new System.Drawing.Size(611, 492);
89      this.logTabPage.TabIndex = 1;
90      this.logTabPage.Text = "Log";
91      this.logTabPage.UseVisualStyleBackColor = true;
92      //
93      // logView
94      //
95      this.logView.Anchor = ((System.Windows.Forms.AnchorStyles)((((System.Windows.Forms.AnchorStyles.Top | System.Windows.Forms.AnchorStyles.Bottom)
96                  | System.Windows.Forms.AnchorStyles.Left)
97                  | System.Windows.Forms.AnchorStyles.Right)));
98      this.logView.Caption = "Log View";
99      this.logView.Content = null;
100      this.logView.Location = new System.Drawing.Point(3, 3);
101      this.logView.Name = "logView";
102      this.logView.ReadOnly = false;
103      this.logView.Size = new System.Drawing.Size(613, 486);
104      this.logView.TabIndex = 0;
105      //
106      // stateLogTabPage
107      //
108      this.stateLogTabPage.Controls.Add(this.stateLogViewHost);
109      this.stateLogTabPage.Location = new System.Drawing.Point(4, 22);
110      this.stateLogTabPage.Name = "stateLogTabPage";
111      this.stateLogTabPage.Size = new System.Drawing.Size(611, 492);
112      this.stateLogTabPage.TabIndex = 5;
113      this.stateLogTabPage.Text = "State";
114      this.stateLogTabPage.UseVisualStyleBackColor = true;
115      //
116      // stateLogViewHost
117      //
118      this.stateLogViewHost.Caption = "View";
119      this.stateLogViewHost.Content = null;
120      this.stateLogViewHost.Dock = System.Windows.Forms.DockStyle.Fill;
121      this.stateLogViewHost.Enabled = false;
122      this.stateLogViewHost.Location = new System.Drawing.Point(0, 0);
123      this.stateLogViewHost.Name = "stateLogViewHost";
124      this.stateLogViewHost.ReadOnly = false;
125      this.stateLogViewHost.Size = new System.Drawing.Size(611, 492);
126      this.stateLogViewHost.TabIndex = 0;
127      this.stateLogViewHost.ViewsLabelVisible = true;
128      this.stateLogViewHost.ViewType = null;
129      //
130      // runsTabPage
131      //
132      this.runsTabPage.Controls.Add(this.runCollectionViewHost);
133      this.runsTabPage.Location = new System.Drawing.Point(4, 22);
134      this.runsTabPage.Name = "runsTabPage";
135      this.runsTabPage.Size = new System.Drawing.Size(611, 492);
136      this.runsTabPage.TabIndex = 4;
137      this.runsTabPage.Text = "Runs";
138      this.runsTabPage.UseVisualStyleBackColor = true;
139      //
140      // runCollectionViewHost
141      //
142      this.runCollectionViewHost.Anchor = ((System.Windows.Forms.AnchorStyles)((((System.Windows.Forms.AnchorStyles.Top | System.Windows.Forms.AnchorStyles.Bottom)
143                  | System.Windows.Forms.AnchorStyles.Left)
144                  | System.Windows.Forms.AnchorStyles.Right)));
145      this.runCollectionViewHost.Caption = "View";
146      this.runCollectionViewHost.Content = null;
147      this.runCollectionViewHost.Enabled = false;
148      this.runCollectionViewHost.Location = new System.Drawing.Point(3, 3);
149      this.runCollectionViewHost.Name = "runCollectionViewHost";
150      this.runCollectionViewHost.ReadOnly = false;
151      this.runCollectionViewHost.Size = new System.Drawing.Size(613, 486);
152      this.runCollectionViewHost.TabIndex = 0;
153      this.runCollectionViewHost.ViewsLabelVisible = true;
154      this.runCollectionViewHost.ViewType = null;
155      //
156      // detailsTabPage
157      //
158      this.detailsTabPage.Controls.Add(this.splitContainer1);
159      this.detailsTabPage.Controls.Add(this.restartButton);
160      this.detailsTabPage.Controls.Add(this.pauseButton);
161      this.detailsTabPage.Controls.Add(this.stopButton);
162      this.detailsTabPage.Controls.Add(this.optimizerGroupBox);
163      this.detailsTabPage.Controls.Add(this.jobIdLabel);
164      this.detailsTabPage.Controls.Add(this.jobIdTextBox);
165      this.detailsTabPage.Location = new System.Drawing.Point(4, 22);
166      this.detailsTabPage.Name = "detailsTabPage";
167      this.detailsTabPage.Padding = new System.Windows.Forms.Padding(3);
168      this.detailsTabPage.Size = new System.Drawing.Size(563, 375);
169      this.detailsTabPage.TabIndex = 0;
170      this.detailsTabPage.Text = "Details";
171      this.detailsTabPage.UseVisualStyleBackColor = true;
172      //
173      // restartButton
174      //
175      this.restartButton.Anchor = ((System.Windows.Forms.AnchorStyles)((System.Windows.Forms.AnchorStyles.Bottom | System.Windows.Forms.AnchorStyles.Left)));
176      this.restartButton.Image = ((System.Drawing.Image)(resources.GetObject("restartButton.Image")));
177      this.restartButton.Location = new System.Drawing.Point(3, 348);
178      this.restartButton.Name = "restartButton";
179      this.restartButton.Size = new System.Drawing.Size(24, 24);
180      this.restartButton.TabIndex = 30;
181      this.restartButton.UseVisualStyleBackColor = true;
182      this.restartButton.Click += new System.EventHandler(this.restartButton_Click);
183      //
184      // pauseButton
185      //
186      this.pauseButton.Anchor = ((System.Windows.Forms.AnchorStyles)((System.Windows.Forms.AnchorStyles.Bottom | System.Windows.Forms.AnchorStyles.Left)));
187      this.pauseButton.Enabled = false;
188      this.pauseButton.Image = ((System.Drawing.Image)(resources.GetObject("pauseButton.Image")));
189      this.pauseButton.Location = new System.Drawing.Point(33, 348);
190      this.pauseButton.Name = "pauseButton";
191      this.pauseButton.Size = new System.Drawing.Size(24, 24);
192      this.pauseButton.TabIndex = 31;
193      this.pauseButton.UseVisualStyleBackColor = true;
194      this.pauseButton.Click += new System.EventHandler(this.pauseButton_Click);
195      //
196      // stopButton
197      //
198      this.stopButton.Anchor = ((System.Windows.Forms.AnchorStyles)((System.Windows.Forms.AnchorStyles.Bottom | System.Windows.Forms.AnchorStyles.Left)));
199      this.stopButton.Image = ((System.Drawing.Image)(resources.GetObject("stopButton.Image")));
200      this.stopButton.Location = new System.Drawing.Point(63, 348);
201      this.stopButton.Name = "stopButton";
202      this.stopButton.Size = new System.Drawing.Size(24, 24);
203      this.stopButton.TabIndex = 32;
204      this.stopButton.UseVisualStyleBackColor = true;
205      this.stopButton.Click += new System.EventHandler(this.stopButton_Click);
206      //
207      // optimizerGroupBox
208      //
209      this.optimizerGroupBox.Anchor = ((System.Windows.Forms.AnchorStyles)(((System.Windows.Forms.AnchorStyles.Top | System.Windows.Forms.AnchorStyles.Left)
210                  | System.Windows.Forms.AnchorStyles.Right)));
211      this.optimizerGroupBox.Controls.Add(this.showOptimizerButton);
212      this.optimizerGroupBox.Controls.Add(this.lastUpdatedTextBox);
213      this.optimizerGroupBox.Controls.Add(this.lastUpdatedLabel);
214      this.optimizerGroupBox.Controls.Add(this.optimizerNamedItemView);
215      this.optimizerGroupBox.Location = new System.Drawing.Point(6, 29);
216      this.optimizerGroupBox.Name = "optimizerGroupBox";
217      this.optimizerGroupBox.Size = new System.Drawing.Size(551, 129);
218      this.optimizerGroupBox.TabIndex = 28;
219      this.optimizerGroupBox.TabStop = false;
220      this.optimizerGroupBox.Text = "Optimizer";
221      //
222      // showOptimizerButton
223      //
224      this.showOptimizerButton.Anchor = ((System.Windows.Forms.AnchorStyles)(((System.Windows.Forms.AnchorStyles.Top | System.Windows.Forms.AnchorStyles.Left)
225                  | System.Windows.Forms.AnchorStyles.Right)));
226      this.showOptimizerButton.Location = new System.Drawing.Point(78, 99);
227      this.showOptimizerButton.Name = "showOptimizerButton";
228      this.showOptimizerButton.Size = new System.Drawing.Size(467, 23);
229      this.showOptimizerButton.TabIndex = 3;
230      this.showOptimizerButton.Text = "Show Optimizer";
231      this.showOptimizerButton.UseVisualStyleBackColor = true;
232      this.showOptimizerButton.Click += new System.EventHandler(this.showOptimizerButton_Click);
233      //
234      // lastUpdatedTextBox
235      //
236      this.lastUpdatedTextBox.Anchor = ((System.Windows.Forms.AnchorStyles)(((System.Windows.Forms.AnchorStyles.Top | System.Windows.Forms.AnchorStyles.Left)
237                  | System.Windows.Forms.AnchorStyles.Right)));
238      this.lastUpdatedTextBox.Location = new System.Drawing.Point(78, 73);
239      this.lastUpdatedTextBox.Name = "lastUpdatedTextBox";
240      this.lastUpdatedTextBox.Size = new System.Drawing.Size(467, 20);
241      this.lastUpdatedTextBox.TabIndex = 2;
242      //
243      // lastUpdatedLabel
244      //
245      this.lastUpdatedLabel.AutoSize = true;
246      this.lastUpdatedLabel.Location = new System.Drawing.Point(9, 76);
247      this.lastUpdatedLabel.Name = "lastUpdatedLabel";
248      this.lastUpdatedLabel.Size = new System.Drawing.Size(71, 13);
249      this.lastUpdatedLabel.TabIndex = 1;
250      this.lastUpdatedLabel.Text = "LastUpdated:";
251      //
252      // optimizerNamedItemView
253      //
254      this.optimizerNamedItemView.Anchor = ((System.Windows.Forms.AnchorStyles)(((System.Windows.Forms.AnchorStyles.Top | System.Windows.Forms.AnchorStyles.Left)
255                  | System.Windows.Forms.AnchorStyles.Right)));
256      this.optimizerNamedItemView.Caption = "NamedItem View";
257      this.optimizerNamedItemView.Content = null;
258      this.optimizerNamedItemView.Location = new System.Drawing.Point(6, 20);
259      this.optimizerNamedItemView.Name = "optimizerNamedItemView";
260      this.optimizerNamedItemView.ReadOnly = false;
261      this.optimizerNamedItemView.Size = new System.Drawing.Size(539, 51);
262      this.optimizerNamedItemView.TabIndex = 0;
263      //
264      // configurationGroupBox
265      //
266      this.configurationGroupBox.Controls.Add(this.priorityTextBox);
267      this.configurationGroupBox.Controls.Add(this.priorityLabel);
268      this.configurationGroupBox.Controls.Add(this.coresNeededTextBox);
269      this.configurationGroupBox.Controls.Add(this.memoryNeededTextBox);
270      this.configurationGroupBox.Controls.Add(this.memoryNeededLabel);
271      this.configurationGroupBox.Controls.Add(this.coresNeededLabel);
272      this.configurationGroupBox.Controls.Add(this.computeInParallelLabel);
273      this.configurationGroupBox.Controls.Add(this.computeInParallelCheckBox);
274      this.configurationGroupBox.Dock = System.Windows.Forms.DockStyle.Fill;
275      this.configurationGroupBox.Location = new System.Drawing.Point(0, 0);
276      this.configurationGroupBox.Name = "configurationGroupBox";
277      this.configurationGroupBox.Size = new System.Drawing.Size(275, 155);
278      this.configurationGroupBox.TabIndex = 27;
279      this.configurationGroupBox.TabStop = false;
280      this.configurationGroupBox.Text = "Configuration";
281      //
282      // priorityTextBox
283      //
284      this.priorityTextBox.Anchor = ((System.Windows.Forms.AnchorStyles)(((System.Windows.Forms.AnchorStyles.Top | System.Windows.Forms.AnchorStyles.Left)
285                  | System.Windows.Forms.AnchorStyles.Right)));
286      this.priorityTextBox.Location = new System.Drawing.Point(108, 66);
287      this.priorityTextBox.Name = "priorityTextBox";
288      this.priorityTextBox.Size = new System.Drawing.Size(161, 20);
289      this.priorityTextBox.TabIndex = 41;
290      //
291      // priorityLabel
292      //
293      this.priorityLabel.AutoSize = true;
294      this.priorityLabel.Location = new System.Drawing.Point(7, 66);
295      this.priorityLabel.Name = "priorityLabel";
296      this.priorityLabel.Size = new System.Drawing.Size(41, 13);
297      this.priorityLabel.TabIndex = 42;
298      this.priorityLabel.Text = "Priority:";
299      //
300      // coresNeededTextBox
301      //
302      this.coresNeededTextBox.Anchor = ((System.Windows.Forms.AnchorStyles)(((System.Windows.Forms.AnchorStyles.Top | System.Windows.Forms.AnchorStyles.Left)
303                  | System.Windows.Forms.AnchorStyles.Right)));
304      this.coresNeededTextBox.Location = new System.Drawing.Point(108, 20);
305      this.coresNeededTextBox.Name = "coresNeededTextBox";
306      this.coresNeededTextBox.Size = new System.Drawing.Size(161, 20);
307      this.coresNeededTextBox.TabIndex = 37;
308      //
309      // memoryNeededTextBox
310      //
311      this.memoryNeededTextBox.Anchor = ((System.Windows.Forms.AnchorStyles)(((System.Windows.Forms.AnchorStyles.Top | System.Windows.Forms.AnchorStyles.Left)
312                  | System.Windows.Forms.AnchorStyles.Right)));
313      this.memoryNeededTextBox.Location = new System.Drawing.Point(108, 42);
314      this.memoryNeededTextBox.Name = "memoryNeededTextBox";
315      this.memoryNeededTextBox.Size = new System.Drawing.Size(161, 20);
316      this.memoryNeededTextBox.TabIndex = 38;
317      //
318      // memoryNeededLabel
319      //
320      this.memoryNeededLabel.AutoSize = true;
321      this.memoryNeededLabel.Location = new System.Drawing.Point(7, 42);
322      this.memoryNeededLabel.Name = "memoryNeededLabel";
323      this.memoryNeededLabel.Size = new System.Drawing.Size(85, 13);
324      this.memoryNeededLabel.TabIndex = 40;
325      this.memoryNeededLabel.Text = "MemoryNeeded:";
326      //
327      // coresNeededLabel
328      //
329      this.coresNeededLabel.AutoSize = true;
330      this.coresNeededLabel.Location = new System.Drawing.Point(7, 20);
331      this.coresNeededLabel.Name = "coresNeededLabel";
332      this.coresNeededLabel.Size = new System.Drawing.Size(75, 13);
333      this.coresNeededLabel.TabIndex = 39;
334      this.coresNeededLabel.Text = "CoresNeeded:";
335      //
336      // computeInParallelLabel
337      //
338      this.computeInParallelLabel.AutoSize = true;
339      this.computeInParallelLabel.Location = new System.Drawing.Point(7, 93);
340      this.computeInParallelLabel.Name = "computeInParallelLabel";
341      this.computeInParallelLabel.Size = new System.Drawing.Size(95, 13);
342      this.computeInParallelLabel.TabIndex = 36;
343      this.computeInParallelLabel.Text = "ComputeInParallel:";
344      //
345      // computeInParallelCheckBox
346      //
347      this.computeInParallelCheckBox.AutoSize = true;
348      this.computeInParallelCheckBox.Location = new System.Drawing.Point(108, 92);
349      this.computeInParallelCheckBox.Name = "computeInParallelCheckBox";
350      this.computeInParallelCheckBox.Size = new System.Drawing.Size(15, 14);
351      this.computeInParallelCheckBox.TabIndex = 35;
352      this.computeInParallelCheckBox.UseVisualStyleBackColor = true;
353      this.computeInParallelCheckBox.CheckedChanged += new System.EventHandler(this.computeInParallelCheckBox_CheckedChanged);
354      //
355      // jobIdLabel
356      //
357      this.jobIdLabel.AutoSize = true;
358      this.jobIdLabel.Location = new System.Drawing.Point(3, 6);
359      this.jobIdLabel.Name = "jobIdLabel";
360      this.jobIdLabel.Size = new System.Drawing.Size(36, 13);
361      this.jobIdLabel.TabIndex = 25;
362      this.jobIdLabel.Text = "JobId:";
363      //
364      // jobIdTextBox
365      //
366      this.jobIdTextBox.Anchor = ((System.Windows.Forms.AnchorStyles)(((System.Windows.Forms.AnchorStyles.Top | System.Windows.Forms.AnchorStyles.Left)
367                  | System.Windows.Forms.AnchorStyles.Right)));
368      this.jobIdTextBox.Location = new System.Drawing.Point(91, 6);
369      this.jobIdTextBox.Name = "jobIdTextBox";
370      this.jobIdTextBox.Size = new System.Drawing.Size(466, 20);
371      this.jobIdTextBox.TabIndex = 26;
372      //
373      // jobStatusGroupBox
374      //
375      this.jobStatusGroupBox.Controls.Add(this.stateTextBox);
376      this.jobStatusGroupBox.Controls.Add(this.dateCalculatedLabel);
377      this.jobStatusGroupBox.Controls.Add(this.stateLabel);
378      this.jobStatusGroupBox.Controls.Add(this.dateCalculatedText);
379      this.jobStatusGroupBox.Controls.Add(this.dateFinishedTextBox);
380      this.jobStatusGroupBox.Controls.Add(this.executionTimeTextBox);
381      this.jobStatusGroupBox.Controls.Add(this.dateCreatedTextBox);
382      this.jobStatusGroupBox.Controls.Add(this.executionTimeLabel);
383      this.jobStatusGroupBox.Controls.Add(this.exceptionLabel);
384      this.jobStatusGroupBox.Controls.Add(this.dateCreatedLabel);
385      this.jobStatusGroupBox.Controls.Add(this.dateFinishedLabel);
386      this.jobStatusGroupBox.Controls.Add(this.exceptionTextBox);
387      this.jobStatusGroupBox.Dock = System.Windows.Forms.DockStyle.Fill;
388      this.jobStatusGroupBox.Location = new System.Drawing.Point(0, 0);
389      this.jobStatusGroupBox.Name = "jobStatusGroupBox";
390      this.jobStatusGroupBox.Size = new System.Drawing.Size(272, 155);
391      this.jobStatusGroupBox.TabIndex = 24;
392      this.jobStatusGroupBox.TabStop = false;
393      this.jobStatusGroupBox.Text = "Job Status";
394      //
395      // stateTextBox
396      //
397      this.stateTextBox.Anchor = ((System.Windows.Forms.AnchorStyles)(((System.Windows.Forms.AnchorStyles.Top | System.Windows.Forms.AnchorStyles.Left)
398                  | System.Windows.Forms.AnchorStyles.Right)));
399      this.stateTextBox.Location = new System.Drawing.Point(95, 19);
400      this.stateTextBox.Name = "stateTextBox";
401      this.stateTextBox.Size = new System.Drawing.Size(171, 20);
402      this.stateTextBox.TabIndex = 2;
403      //
404      // dateCalculatedLabel
405      //
406      this.dateCalculatedLabel.AutoSize = true;
407      this.dateCalculatedLabel.Location = new System.Drawing.Point(7, 85);
408      this.dateCalculatedLabel.Name = "dateCalculatedLabel";
409      this.dateCalculatedLabel.Size = new System.Drawing.Size(83, 13);
410      this.dateCalculatedLabel.TabIndex = 23;
411      this.dateCalculatedLabel.Text = "DateCalculated:";
412      //
413      // stateLabel
414      //
415      this.stateLabel.AutoSize = true;
416      this.stateLabel.Location = new System.Drawing.Point(7, 19);
417      this.stateLabel.Name = "stateLabel";
418      this.stateLabel.Size = new System.Drawing.Size(35, 13);
419      this.stateLabel.TabIndex = 0;
420      this.stateLabel.Text = "State:";
421      //
422      // dateCalculatedText
423      //
424      this.dateCalculatedText.Anchor = ((System.Windows.Forms.AnchorStyles)(((System.Windows.Forms.AnchorStyles.Top | System.Windows.Forms.AnchorStyles.Left)
425                  | System.Windows.Forms.AnchorStyles.Right)));
426      this.dateCalculatedText.Location = new System.Drawing.Point(95, 85);
427      this.dateCalculatedText.Name = "dateCalculatedText";
428      this.dateCalculatedText.Size = new System.Drawing.Size(171, 20);
429      this.dateCalculatedText.TabIndex = 22;
430      //
431      // dateFinishedTextBox
432      //
433      this.dateFinishedTextBox.Anchor = ((System.Windows.Forms.AnchorStyles)(((System.Windows.Forms.AnchorStyles.Top | System.Windows.Forms.AnchorStyles.Left)
434                  | System.Windows.Forms.AnchorStyles.Right)));
435      this.dateFinishedTextBox.Location = new System.Drawing.Point(95, 107);
436      this.dateFinishedTextBox.Name = "dateFinishedTextBox";
437      this.dateFinishedTextBox.Size = new System.Drawing.Size(171, 20);
438      this.dateFinishedTextBox.TabIndex = 6;
439      //
440      // executionTimeTextBox
441      //
442      this.executionTimeTextBox.Anchor = ((System.Windows.Forms.AnchorStyles)(((System.Windows.Forms.AnchorStyles.Top | System.Windows.Forms.AnchorStyles.Left)
443                  | System.Windows.Forms.AnchorStyles.Right)));
444      this.executionTimeTextBox.Location = new System.Drawing.Point(95, 41);
445      this.executionTimeTextBox.Name = "executionTimeTextBox";
446      this.executionTimeTextBox.Size = new System.Drawing.Size(171, 20);
447      this.executionTimeTextBox.TabIndex = 4;
448      //
449      // dateCreatedTextBox
450      //
451      this.dateCreatedTextBox.Anchor = ((System.Windows.Forms.AnchorStyles)(((System.Windows.Forms.AnchorStyles.Top | System.Windows.Forms.AnchorStyles.Left)
452                  | System.Windows.Forms.AnchorStyles.Right)));
453      this.dateCreatedTextBox.Location = new System.Drawing.Point(95, 63);
454      this.dateCreatedTextBox.Name = "dateCreatedTextBox";
455      this.dateCreatedTextBox.Size = new System.Drawing.Size(171, 20);
456      this.dateCreatedTextBox.TabIndex = 5;
457      //
458      // executionTimeLabel
459      //
460      this.executionTimeLabel.AutoSize = true;
461      this.executionTimeLabel.Location = new System.Drawing.Point(7, 41);
462      this.executionTimeLabel.Name = "executionTimeLabel";
463      this.executionTimeLabel.Size = new System.Drawing.Size(80, 13);
464      this.executionTimeLabel.TabIndex = 13;
465      this.executionTimeLabel.Text = "ExecutionTime:";
466      //
467      // exceptionLabel
468      //
469      this.exceptionLabel.AutoSize = true;
470      this.exceptionLabel.Location = new System.Drawing.Point(7, 129);
471      this.exceptionLabel.Name = "exceptionLabel";
472      this.exceptionLabel.Size = new System.Drawing.Size(57, 13);
473      this.exceptionLabel.TabIndex = 19;
474      this.exceptionLabel.Text = "Exception:";
475      //
476      // dateCreatedLabel
477      //
478      this.dateCreatedLabel.AutoSize = true;
479      this.dateCreatedLabel.Location = new System.Drawing.Point(7, 63);
480      this.dateCreatedLabel.Name = "dateCreatedLabel";
481      this.dateCreatedLabel.Size = new System.Drawing.Size(70, 13);
482      this.dateCreatedLabel.TabIndex = 14;
483      this.dateCreatedLabel.Text = "DateCreated:";
484      //
485      // dateFinishedLabel
486      //
487      this.dateFinishedLabel.AutoSize = true;
488      this.dateFinishedLabel.Location = new System.Drawing.Point(7, 107);
489      this.dateFinishedLabel.Name = "dateFinishedLabel";
490      this.dateFinishedLabel.Size = new System.Drawing.Size(72, 13);
491      this.dateFinishedLabel.TabIndex = 15;
492      this.dateFinishedLabel.Text = "DateFinished:";
493      //
494      // exceptionTextBox
495      //
496      this.exceptionTextBox.Anchor = ((System.Windows.Forms.AnchorStyles)(((System.Windows.Forms.AnchorStyles.Top | System.Windows.Forms.AnchorStyles.Left)
497                  | System.Windows.Forms.AnchorStyles.Right)));
498      this.exceptionTextBox.Location = new System.Drawing.Point(95, 129);
499      this.exceptionTextBox.Name = "exceptionTextBox";
500      this.exceptionTextBox.Size = new System.Drawing.Size(171, 20);
501      this.exceptionTextBox.TabIndex = 10;
502      this.exceptionTextBox.DoubleClick += new System.EventHandler(this.exceptionTextBox_DoubleClick);
503      //
504      // tabControl
505      //
506      this.tabControl.Anchor = ((System.Windows.Forms.AnchorStyles)((((System.Windows.Forms.AnchorStyles.Top | System.Windows.Forms.AnchorStyles.Bottom)
507                  | System.Windows.Forms.AnchorStyles.Left)
508                  | System.Windows.Forms.AnchorStyles.Right)));
509      this.tabControl.Controls.Add(this.detailsTabPage);
510      this.tabControl.Controls.Add(this.stateLogTabPage);
511      this.tabControl.Controls.Add(this.runsTabPage);
512      this.tabControl.Controls.Add(this.logTabPage);
513      this.tabControl.Location = new System.Drawing.Point(3, 3);
514      this.tabControl.Name = "tabControl";
515      this.tabControl.SelectedIndex = 0;
516      this.tabControl.Size = new System.Drawing.Size(571, 401);
517      this.tabControl.TabIndex = 25;
518      //
519      // splitContainer1
520      //
521      this.splitContainer1.Anchor = ((System.Windows.Forms.AnchorStyles)(((System.Windows.Forms.AnchorStyles.Top | System.Windows.Forms.AnchorStyles.Left)
522                  | System.Windows.Forms.AnchorStyles.Right)));
523      this.splitContainer1.Location = new System.Drawing.Point(6, 164);
524      this.splitContainer1.Name = "splitContainer1";
525      //
526      // splitContainer1.Panel1
527      //
528      this.splitContainer1.Panel1.Controls.Add(this.configurationGroupBox);
529      //
530      // splitContainer1.Panel2
531      //
532      this.splitContainer1.Panel2.Controls.Add(this.jobStatusGroupBox);
533      this.splitContainer1.Size = new System.Drawing.Size(551, 155);
534      this.splitContainer1.SplitterDistance = 275;
535      this.splitContainer1.TabIndex = 33;
536      //
537      // HiveJobView
538      //
539      this.AutoScaleDimensions = new System.Drawing.SizeF(6F, 13F);
540      this.AutoScaleMode = System.Windows.Forms.AutoScaleMode.Font;
541      this.Controls.Add(this.tabControl);
542      this.Name = "HiveJobView";
543      this.Size = new System.Drawing.Size(577, 407);
544      this.logTabPage.ResumeLayout(false);
545      this.stateLogTabPage.ResumeLayout(false);
546      this.runsTabPage.ResumeLayout(false);
547      this.detailsTabPage.ResumeLayout(false);
548      this.detailsTabPage.PerformLayout();
549      this.optimizerGroupBox.ResumeLayout(false);
550      this.optimizerGroupBox.PerformLayout();
551      this.configurationGroupBox.ResumeLayout(false);
552      this.configurationGroupBox.PerformLayout();
553      this.jobStatusGroupBox.ResumeLayout(false);
554      this.jobStatusGroupBox.PerformLayout();
555      this.tabControl.ResumeLayout(false);
556      this.splitContainer1.Panel1.ResumeLayout(false);
557      this.splitContainer1.Panel2.ResumeLayout(false);
558      ((System.ComponentModel.ISupportInitialize)(this.splitContainer1)).EndInit();
559      this.splitContainer1.ResumeLayout(false);
560      this.ResumeLayout(false);
561
562    }
563
564    #endregion
565
566    private System.Windows.Forms.TabPage logTabPage;
567    private Core.Views.LogView logView;
568    private System.Windows.Forms.TabPage stateLogTabPage;
569    private MainForm.WindowsForms.ViewHost stateLogViewHost;
570    private System.Windows.Forms.TabPage runsTabPage;
571    private MainForm.WindowsForms.ViewHost runCollectionViewHost;
572    private System.Windows.Forms.TabPage detailsTabPage;
573    private System.Windows.Forms.GroupBox optimizerGroupBox;
574    private Core.Views.NamedItemView optimizerNamedItemView;
575    private System.Windows.Forms.GroupBox configurationGroupBox;
576    private System.Windows.Forms.TextBox priorityTextBox;
577    private System.Windows.Forms.Label priorityLabel;
578    private System.Windows.Forms.TextBox coresNeededTextBox;
579    private System.Windows.Forms.TextBox memoryNeededTextBox;
580    private System.Windows.Forms.Label memoryNeededLabel;
581    private System.Windows.Forms.Label coresNeededLabel;
582    private System.Windows.Forms.Label computeInParallelLabel;
583    private System.Windows.Forms.CheckBox computeInParallelCheckBox;
584    private System.Windows.Forms.Label jobIdLabel;
585    private System.Windows.Forms.TextBox jobIdTextBox;
586    private System.Windows.Forms.GroupBox jobStatusGroupBox;
587    private System.Windows.Forms.TextBox stateTextBox;
588    private System.Windows.Forms.Label stateLabel;
589    private System.Windows.Forms.TextBox dateFinishedTextBox;
590    private System.Windows.Forms.TextBox executionTimeTextBox;
591    private System.Windows.Forms.Label executionTimeLabel;
592    private System.Windows.Forms.Label exceptionLabel;
593    private System.Windows.Forms.Label dateFinishedLabel;
594    private System.Windows.Forms.TextBox exceptionTextBox;
595    private System.Windows.Forms.TabControl tabControl;
596    private System.Windows.Forms.Button restartButton;
597    private System.Windows.Forms.Button pauseButton;
598    private System.Windows.Forms.Button stopButton;
599    private System.Windows.Forms.Button showOptimizerButton;
600    private System.Windows.Forms.TextBox lastUpdatedTextBox;
601    private System.Windows.Forms.Label lastUpdatedLabel;
602    private System.Windows.Forms.Label dateCalculatedLabel;
603    private System.Windows.Forms.TextBox dateCalculatedText;
604    private System.Windows.Forms.TextBox dateCreatedTextBox;
605    private System.Windows.Forms.Label dateCreatedLabel;
606    private System.Windows.Forms.SplitContainer splitContainer1;
607
608  }
609}
Note: See TracBrowser for help on using the repository browser.