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 @ 5793

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

#1233

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