source: branches/2839_HiveProjectManagement/HeuristicLab.Clients.Hive.JobManager/3.3/Views/RefreshableHiveJobView.Designer.cs @ 16057

Last change on this file since 16057 was 16057, checked in by jkarder, 15 months ago

#2839:

File size: 29.0 KB
Line 
1#region License Information
2/* HeuristicLab
3 * Copyright (C) 2002-2018 Heuristic and Evolutionary Algorithms Laboratory (HEAL)
4 *
5 * This file is part of HeuristicLab.
6 *
7 * HeuristicLab is free software: you can redistribute it and/or modify
8 * it under the terms of the GNU General Public License as published by
9 * the Free Software Foundation, either version 3 of the License, or
10 * (at your option) any later version.
11 *
12 * HeuristicLab is distributed in the hope that it will be useful,
13 * but WITHOUT ANY WARRANTY; without even the implied warranty of
14 * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
15 * GNU General Public License for more details.
16 *
17 * You should have received a copy of the GNU General Public License
18 * along with HeuristicLab. If not, see <http://www.gnu.org/licenses/>.
19 */
20#endregion
21
22namespace HeuristicLab.Clients.Hive.JobManager.Views {
23  partial class RefreshableHiveJobView {
24    /// <summary>
25    /// Required designer variable.
26    /// </summary>
27    private System.ComponentModel.IContainer components = null;
28
29    /// <summary>
30    /// Clean up any resources being used.
31    /// </summary>
32    /// <param name="disposing">true if managed resources should be disposed; otherwise, false.</param>
33    protected override void Dispose(bool disposing) {
34      if (disposing) {
35        if (components != null) components.Dispose();
36      }
37      base.Dispose(disposing);
38    }
39
40    #region Component Designer generated code
41
42    /// <summary>
43    /// Required method for Designer support - do not modify
44    /// the contents of this method with the code editor.
45    /// </summary>
46    private void InitializeComponent() {
47      this.components = new System.ComponentModel.Container();
48      System.ComponentModel.ComponentResourceManager resources = new System.ComponentModel.ComponentResourceManager(typeof(RefreshableHiveJobView));
49      this.tabControl = new HeuristicLab.MainForm.WindowsForms.DragOverTabControl();
50      this.tasksTabPage = new System.Windows.Forms.TabPage();
51      this.jobsTreeView = new HeuristicLab.Clients.Hive.Views.HiveTaskItemTreeView();
52      this.permissionTabPage = new System.Windows.Forms.TabPage();
53      this.refreshPermissionsButton = new System.Windows.Forms.Button();
54      this.hiveExperimentPermissionListView = new HeuristicLab.Clients.Hive.JobManager.Views.HiveJobPermissionListView();
55      this.runsTabPage = new System.Windows.Forms.TabPage();
56      this.runCollectionViewHost = new HeuristicLab.MainForm.WindowsForms.ViewHost();
57      this.stateTabPage = new System.Windows.Forms.TabPage();
58      this.stateLogViewHost = new HeuristicLab.MainForm.WindowsForms.ViewHost();
59      this.logTabPage = new System.Windows.Forms.TabPage();
60      this.logView = new HeuristicLab.Core.Views.LogView();
61      this.startButton = new System.Windows.Forms.Button();
62      this.stopButton = new System.Windows.Forms.Button();
63      this.executionTimeLabel = new System.Windows.Forms.Label();
64      this.executionTimeTextBox = new System.Windows.Forms.TextBox();
65      this.pauseButton = new System.Windows.Forms.Button();
66      this.projectLabel = new System.Windows.Forms.Label();
67      this.projectNameTextBox = new System.Windows.Forms.TextBox();
68      this.nameLabel = new System.Windows.Forms.Label();
69      this.nameTextBox = new System.Windows.Forms.TextBox();
70      this.descriptionLabel = new System.Windows.Forms.Label();
71      this.descriptionTextBox = new System.Windows.Forms.TextBox();
72      this.toolTip = new System.Windows.Forms.ToolTip(this.components);
73      this.refreshButton = new System.Windows.Forms.Button();
74      this.updateButton = new System.Windows.Forms.Button();
75      this.UnloadButton = new System.Windows.Forms.Button();
76      this.searchButton = new System.Windows.Forms.Button();
77      this.refreshAutomaticallyCheckBox = new System.Windows.Forms.CheckBox();
78      this.infoGroupBox = new System.Windows.Forms.GroupBox();
79      this.finishedTextBox = new System.Windows.Forms.TextBox();
80      this.calculatingTextBox = new System.Windows.Forms.TextBox();
81      this.jobsTextBox = new System.Windows.Forms.TextBox();
82      this.finishedLabel = new System.Windows.Forms.Label();
83      this.calculatingLabel = new System.Windows.Forms.Label();
84      this.jobsLabel = new System.Windows.Forms.Label();
85      this.tabControl.SuspendLayout();
86      this.tasksTabPage.SuspendLayout();
87      this.permissionTabPage.SuspendLayout();
88      this.runsTabPage.SuspendLayout();
89      this.stateTabPage.SuspendLayout();
90      this.logTabPage.SuspendLayout();
91      this.infoGroupBox.SuspendLayout();
92      this.SuspendLayout();
93      //
94      // tabControl
95      //
96      this.tabControl.AllowDrop = true;
97      this.tabControl.Anchor = ((System.Windows.Forms.AnchorStyles)((((System.Windows.Forms.AnchorStyles.Top | System.Windows.Forms.AnchorStyles.Bottom) 
98            | System.Windows.Forms.AnchorStyles.Left) 
99            | System.Windows.Forms.AnchorStyles.Right)));
100      this.tabControl.Controls.Add(this.tasksTabPage);
101      this.tabControl.Controls.Add(this.permissionTabPage);
102      this.tabControl.Controls.Add(this.runsTabPage);
103      this.tabControl.Controls.Add(this.stateTabPage);
104      this.tabControl.Controls.Add(this.logTabPage);
105      this.tabControl.Location = new System.Drawing.Point(0, 106);
106      this.tabControl.Name = "tabControl";
107      this.tabControl.SelectedIndex = 0;
108      this.tabControl.Size = new System.Drawing.Size(717, 452);
109      this.tabControl.TabIndex = 4;
110      this.tabControl.SelectedIndexChanged += new System.EventHandler(this.tabControl_SelectedIndexChanged);
111      //
112      // tasksTabPage
113      //
114      this.tasksTabPage.Controls.Add(this.jobsTreeView);
115      this.tasksTabPage.Location = new System.Drawing.Point(4, 22);
116      this.tasksTabPage.Name = "tasksTabPage";
117      this.tasksTabPage.Size = new System.Drawing.Size(709, 426);
118      this.tasksTabPage.TabIndex = 5;
119      this.tasksTabPage.Text = "Tasks";
120      this.tasksTabPage.UseVisualStyleBackColor = true;
121      //
122      // jobsTreeView
123      //
124      this.jobsTreeView.AllowDrop = true;
125      this.jobsTreeView.Anchor = ((System.Windows.Forms.AnchorStyles)((((System.Windows.Forms.AnchorStyles.Top | System.Windows.Forms.AnchorStyles.Bottom) 
126            | System.Windows.Forms.AnchorStyles.Left) 
127            | System.Windows.Forms.AnchorStyles.Right)));
128      this.jobsTreeView.Caption = "ItemTree View";
129      this.jobsTreeView.Content = null;
130      this.jobsTreeView.Location = new System.Drawing.Point(2, 3);
131      this.jobsTreeView.Name = "jobsTreeView";
132      this.jobsTreeView.ReadOnly = false;
133      this.jobsTreeView.Size = new System.Drawing.Size(704, 420);
134      this.jobsTreeView.TabIndex = 4;
135      this.jobsTreeView.DragDrop += new System.Windows.Forms.DragEventHandler(this.jobsTreeView_DragDrop);
136      this.jobsTreeView.DragEnter += new System.Windows.Forms.DragEventHandler(this.jobsTreeView_DragEnter);
137      this.jobsTreeView.DragOver += new System.Windows.Forms.DragEventHandler(this.jobsTreeView_DragOver);
138      //
139      // permissionTabPage
140      //
141      this.permissionTabPage.Controls.Add(this.refreshPermissionsButton);
142      this.permissionTabPage.Controls.Add(this.hiveExperimentPermissionListView);
143      this.permissionTabPage.Location = new System.Drawing.Point(4, 22);
144      this.permissionTabPage.Name = "permissionTabPage";
145      this.permissionTabPage.Size = new System.Drawing.Size(709, 426);
146      this.permissionTabPage.TabIndex = 7;
147      this.permissionTabPage.Text = "Permissions";
148      this.permissionTabPage.UseVisualStyleBackColor = true;
149      //
150      // refreshPermissionsButton
151      //
152      this.refreshPermissionsButton.Image = ((System.Drawing.Image)(resources.GetObject("refreshPermissionsButton.Image")));
153      this.refreshPermissionsButton.Location = new System.Drawing.Point(3, 3);
154      this.refreshPermissionsButton.Name = "refreshPermissionsButton";
155      this.refreshPermissionsButton.Size = new System.Drawing.Size(24, 24);
156      this.refreshPermissionsButton.TabIndex = 23;
157      this.toolTip.SetToolTip(this.refreshPermissionsButton, "Refresh data");
158      this.refreshPermissionsButton.UseVisualStyleBackColor = true;
159      this.refreshPermissionsButton.Click += new System.EventHandler(this.refreshPermissionsButton_Click);
160      //
161      // hiveExperimentPermissionListView
162      //
163      this.hiveExperimentPermissionListView.Anchor = ((System.Windows.Forms.AnchorStyles)((((System.Windows.Forms.AnchorStyles.Top | System.Windows.Forms.AnchorStyles.Bottom) 
164            | System.Windows.Forms.AnchorStyles.Left) 
165            | System.Windows.Forms.AnchorStyles.Right)));
166      this.hiveExperimentPermissionListView.Caption = "HiveExperimentPermissionList View";
167      this.hiveExperimentPermissionListView.Content = null;
168      this.hiveExperimentPermissionListView.HiveExperimentId = new System.Guid("00000000-0000-0000-0000-000000000000");
169      this.hiveExperimentPermissionListView.Location = new System.Drawing.Point(3, 33);
170      this.hiveExperimentPermissionListView.Name = "hiveExperimentPermissionListView";
171      this.hiveExperimentPermissionListView.ReadOnly = false;
172      this.hiveExperimentPermissionListView.ShowDetails = true;
173      this.hiveExperimentPermissionListView.Size = new System.Drawing.Size(703, 390);
174      this.hiveExperimentPermissionListView.TabIndex = 0;
175      //
176      // runsTabPage
177      //
178      this.runsTabPage.Controls.Add(this.runCollectionViewHost);
179      this.runsTabPage.Location = new System.Drawing.Point(4, 22);
180      this.runsTabPage.Name = "runsTabPage";
181      this.runsTabPage.Padding = new System.Windows.Forms.Padding(3);
182      this.runsTabPage.Size = new System.Drawing.Size(709, 426);
183      this.runsTabPage.TabIndex = 8;
184      this.runsTabPage.Text = "Runs";
185      this.runsTabPage.UseVisualStyleBackColor = true;
186      //
187      // runCollectionViewHost
188      //
189      this.runCollectionViewHost.Anchor = ((System.Windows.Forms.AnchorStyles)((((System.Windows.Forms.AnchorStyles.Top | System.Windows.Forms.AnchorStyles.Bottom) 
190            | System.Windows.Forms.AnchorStyles.Left) 
191            | System.Windows.Forms.AnchorStyles.Right)));
192      this.runCollectionViewHost.Caption = "View";
193      this.runCollectionViewHost.Content = null;
194      this.runCollectionViewHost.Enabled = false;
195      this.runCollectionViewHost.Location = new System.Drawing.Point(3, 3);
196      this.runCollectionViewHost.Name = "runCollectionViewHost";
197      this.runCollectionViewHost.ReadOnly = false;
198      this.runCollectionViewHost.Size = new System.Drawing.Size(703, 420);
199      this.runCollectionViewHost.TabIndex = 2;
200      this.runCollectionViewHost.ViewsLabelVisible = true;
201      this.runCollectionViewHost.ViewType = null;
202      //
203      // stateTabPage
204      //
205      this.stateTabPage.Controls.Add(this.stateLogViewHost);
206      this.stateTabPage.Location = new System.Drawing.Point(4, 22);
207      this.stateTabPage.Name = "stateTabPage";
208      this.stateTabPage.Size = new System.Drawing.Size(709, 426);
209      this.stateTabPage.TabIndex = 6;
210      this.stateTabPage.Text = "Execution History";
211      this.stateTabPage.UseVisualStyleBackColor = true;
212      //
213      // stateLogViewHost
214      //
215      this.stateLogViewHost.Anchor = ((System.Windows.Forms.AnchorStyles)((((System.Windows.Forms.AnchorStyles.Top | System.Windows.Forms.AnchorStyles.Bottom) 
216            | System.Windows.Forms.AnchorStyles.Left) 
217            | System.Windows.Forms.AnchorStyles.Right)));
218      this.stateLogViewHost.Caption = "StateLog View";
219      this.stateLogViewHost.Content = null;
220      this.stateLogViewHost.Enabled = false;
221      this.stateLogViewHost.Location = new System.Drawing.Point(3, 3);
222      this.stateLogViewHost.Name = "stateLogViewHost";
223      this.stateLogViewHost.ReadOnly = false;
224      this.stateLogViewHost.Size = new System.Drawing.Size(703, 420);
225      this.stateLogViewHost.TabIndex = 0;
226      this.stateLogViewHost.ViewsLabelVisible = true;
227      this.stateLogViewHost.ViewType = null;
228      //
229      // logTabPage
230      //
231      this.logTabPage.Controls.Add(this.logView);
232      this.logTabPage.Location = new System.Drawing.Point(4, 22);
233      this.logTabPage.Name = "logTabPage";
234      this.logTabPage.Size = new System.Drawing.Size(709, 426);
235      this.logTabPage.TabIndex = 3;
236      this.logTabPage.Text = "Log";
237      this.logTabPage.UseVisualStyleBackColor = true;
238      //
239      // logView
240      //
241      this.logView.Anchor = ((System.Windows.Forms.AnchorStyles)((((System.Windows.Forms.AnchorStyles.Top | System.Windows.Forms.AnchorStyles.Bottom) 
242            | System.Windows.Forms.AnchorStyles.Left) 
243            | System.Windows.Forms.AnchorStyles.Right)));
244      this.logView.Caption = "Log View";
245      this.logView.Content = null;
246      this.logView.Location = new System.Drawing.Point(3, 3);
247      this.logView.Name = "logView";
248      this.logView.ReadOnly = false;
249      this.logView.Size = new System.Drawing.Size(703, 420);
250      this.logView.TabIndex = 0;
251      //
252      // startButton
253      //
254      this.startButton.Anchor = ((System.Windows.Forms.AnchorStyles)((System.Windows.Forms.AnchorStyles.Bottom | System.Windows.Forms.AnchorStyles.Left)));
255      this.startButton.Image = ((System.Drawing.Image)(resources.GetObject("startButton.Image")));
256      this.startButton.Location = new System.Drawing.Point(0, 564);
257      this.startButton.Name = "startButton";
258      this.startButton.Size = new System.Drawing.Size(24, 24);
259      this.startButton.TabIndex = 4;
260      this.toolTip.SetToolTip(this.startButton, "Start/Resume Experiment");
261      this.startButton.UseVisualStyleBackColor = true;
262      this.startButton.Click += new System.EventHandler(this.startButton_Click);
263      //
264      // stopButton
265      //
266      this.stopButton.Anchor = ((System.Windows.Forms.AnchorStyles)((System.Windows.Forms.AnchorStyles.Bottom | System.Windows.Forms.AnchorStyles.Left)));
267      this.stopButton.Image = ((System.Drawing.Image)(resources.GetObject("stopButton.Image")));
268      this.stopButton.Location = new System.Drawing.Point(60, 564);
269      this.stopButton.Name = "stopButton";
270      this.stopButton.Size = new System.Drawing.Size(24, 24);
271      this.stopButton.TabIndex = 6;
272      this.toolTip.SetToolTip(this.stopButton, "Stop Experiment");
273      this.stopButton.UseVisualStyleBackColor = true;
274      this.stopButton.Click += new System.EventHandler(this.stopButton_Click);
275      //
276      // executionTimeLabel
277      //
278      this.executionTimeLabel.Anchor = ((System.Windows.Forms.AnchorStyles)((System.Windows.Forms.AnchorStyles.Bottom | System.Windows.Forms.AnchorStyles.Right)));
279      this.executionTimeLabel.AutoSize = true;
280      this.executionTimeLabel.Location = new System.Drawing.Point(491, 571);
281      this.executionTimeLabel.Name = "executionTimeLabel";
282      this.executionTimeLabel.Size = new System.Drawing.Size(83, 13);
283      this.executionTimeLabel.TabIndex = 100;
284      this.executionTimeLabel.Text = "&Execution Time:";
285      //
286      // executionTimeTextBox
287      //
288      this.executionTimeTextBox.Anchor = ((System.Windows.Forms.AnchorStyles)((System.Windows.Forms.AnchorStyles.Bottom | System.Windows.Forms.AnchorStyles.Right)));
289      this.executionTimeTextBox.Location = new System.Drawing.Point(580, 568);
290      this.executionTimeTextBox.Name = "executionTimeTextBox";
291      this.executionTimeTextBox.ReadOnly = true;
292      this.executionTimeTextBox.Size = new System.Drawing.Size(137, 20);
293      this.executionTimeTextBox.TabIndex = 100;
294      //
295      // pauseButton
296      //
297      this.pauseButton.Anchor = ((System.Windows.Forms.AnchorStyles)((System.Windows.Forms.AnchorStyles.Bottom | System.Windows.Forms.AnchorStyles.Left)));
298      this.pauseButton.Enabled = false;
299      this.pauseButton.Image = ((System.Drawing.Image)(resources.GetObject("pauseButton.Image")));
300      this.pauseButton.Location = new System.Drawing.Point(30, 564);
301      this.pauseButton.Name = "pauseButton";
302      this.pauseButton.Size = new System.Drawing.Size(24, 24);
303      this.pauseButton.TabIndex = 5;
304      this.toolTip.SetToolTip(this.pauseButton, "Pause Experiment");
305      this.pauseButton.UseVisualStyleBackColor = true;
306      this.pauseButton.Click += new System.EventHandler(this.pauseButton_Click);
307      //
308      // projectLabel
309      //
310      this.projectLabel.AutoSize = true;
311      this.projectLabel.Location = new System.Drawing.Point(3, 83);
312      this.projectLabel.Name = "projectLabel";
313      this.projectLabel.Size = new System.Drawing.Size(43, 13);
314      this.projectLabel.TabIndex = 100;
315      this.projectLabel.Text = "Project:";
316      //
317      // projectNameTextBox
318      //
319      this.projectNameTextBox.Anchor = ((System.Windows.Forms.AnchorStyles)(((System.Windows.Forms.AnchorStyles.Top | System.Windows.Forms.AnchorStyles.Left) 
320            | System.Windows.Forms.AnchorStyles.Right)));
321      this.projectNameTextBox.Location = new System.Drawing.Point(100, 80);
322      this.projectNameTextBox.Name = "projectNameTextBox";
323      this.projectNameTextBox.ReadOnly = true;
324      this.projectNameTextBox.Size = new System.Drawing.Size(471, 20);
325      this.projectNameTextBox.TabIndex = 100;
326      this.projectNameTextBox.Validated += new System.EventHandler(this.resourceNamesTextBox_Validated);
327      //
328      // nameLabel
329      //
330      this.nameLabel.AutoSize = true;
331      this.nameLabel.Location = new System.Drawing.Point(3, 35);
332      this.nameLabel.Name = "nameLabel";
333      this.nameLabel.Size = new System.Drawing.Size(38, 13);
334      this.nameLabel.TabIndex = 100;
335      this.nameLabel.Text = "Name:";
336      //
337      // nameTextBox
338      //
339      this.nameTextBox.Anchor = ((System.Windows.Forms.AnchorStyles)(((System.Windows.Forms.AnchorStyles.Top | System.Windows.Forms.AnchorStyles.Left) 
340            | System.Windows.Forms.AnchorStyles.Right)));
341      this.nameTextBox.Location = new System.Drawing.Point(71, 32);
342      this.nameTextBox.Name = "nameTextBox";
343      this.nameTextBox.Size = new System.Drawing.Size(500, 20);
344      this.nameTextBox.TabIndex = 1;
345      this.nameTextBox.Validated += new System.EventHandler(this.nameTextBox_Validated);
346      //
347      // descriptionLabel
348      //
349      this.descriptionLabel.AutoSize = true;
350      this.descriptionLabel.Location = new System.Drawing.Point(3, 59);
351      this.descriptionLabel.Name = "descriptionLabel";
352      this.descriptionLabel.Size = new System.Drawing.Size(63, 13);
353      this.descriptionLabel.TabIndex = 100;
354      this.descriptionLabel.Text = "Description:";
355      //
356      // descriptionTextBox
357      //
358      this.descriptionTextBox.Anchor = ((System.Windows.Forms.AnchorStyles)(((System.Windows.Forms.AnchorStyles.Top | System.Windows.Forms.AnchorStyles.Left) 
359            | System.Windows.Forms.AnchorStyles.Right)));
360      this.descriptionTextBox.Location = new System.Drawing.Point(71, 56);
361      this.descriptionTextBox.Name = "descriptionTextBox";
362      this.descriptionTextBox.Size = new System.Drawing.Size(500, 20);
363      this.descriptionTextBox.TabIndex = 2;
364      this.descriptionTextBox.Validated += new System.EventHandler(this.descriptionTextBox_Validated);
365      //
366      // refreshButton
367      //
368      this.refreshButton.Image = ((System.Drawing.Image)(resources.GetObject("refreshButton.Image")));
369      this.refreshButton.Location = new System.Drawing.Point(3, 0);
370      this.refreshButton.Name = "refreshButton";
371      this.refreshButton.Size = new System.Drawing.Size(24, 24);
372      this.refreshButton.TabIndex = 7;
373      this.toolTip.SetToolTip(this.refreshButton, "Refresh Data");
374      this.refreshButton.UseVisualStyleBackColor = true;
375      this.refreshButton.Click += new System.EventHandler(this.refreshButton_Click);
376      //
377      // updateButton
378      //
379      this.updateButton.Image = ((System.Drawing.Image)(resources.GetObject("updateButton.Image")));
380      this.updateButton.Location = new System.Drawing.Point(30, 0);
381      this.updateButton.Name = "updateButton";
382      this.updateButton.Size = new System.Drawing.Size(24, 24);
383      this.updateButton.TabIndex = 8;
384      this.toolTip.SetToolTip(this.updateButton, "Update Job (Name, Project, Resources)");
385      this.updateButton.UseVisualStyleBackColor = true;
386      this.updateButton.Click += new System.EventHandler(this.updateButton_Click);
387      //
388      // UnloadButton
389      //
390      this.UnloadButton.Image = ((System.Drawing.Image)(resources.GetObject("UnloadButton.Image")));
391      this.UnloadButton.Location = new System.Drawing.Point(57, 0);
392      this.UnloadButton.Name = "UnloadButton";
393      this.UnloadButton.Size = new System.Drawing.Size(24, 24);
394      this.UnloadButton.TabIndex = 9;
395      this.toolTip.SetToolTip(this.UnloadButton, "Unload Job");
396      this.UnloadButton.UseVisualStyleBackColor = true;
397      this.UnloadButton.Click += new System.EventHandler(this.UnloadButton_Click);
398      //
399      // searchButton
400      //
401      this.searchButton.Image = ((System.Drawing.Image)(resources.GetObject("searchButton.Image")));
402      this.searchButton.Location = new System.Drawing.Point(71, 79);
403      this.searchButton.Name = "searchButton";
404      this.searchButton.Size = new System.Drawing.Size(24, 24);
405      this.searchButton.TabIndex = 3;
406      this.toolTip.SetToolTip(this.searchButton, "Select project and resources");
407      this.searchButton.UseVisualStyleBackColor = true;
408      this.searchButton.Click += new System.EventHandler(this.searchButton_Click);
409      //
410      // refreshAutomaticallyCheckBox
411      //
412      this.refreshAutomaticallyCheckBox.AutoSize = true;
413      this.refreshAutomaticallyCheckBox.Location = new System.Drawing.Point(100, 3);
414      this.refreshAutomaticallyCheckBox.Name = "refreshAutomaticallyCheckBox";
415      this.refreshAutomaticallyCheckBox.Size = new System.Drawing.Size(127, 17);
416      this.refreshAutomaticallyCheckBox.TabIndex = 100;
417      this.refreshAutomaticallyCheckBox.Text = "&Refresh automatically";
418      this.refreshAutomaticallyCheckBox.UseVisualStyleBackColor = true;
419      this.refreshAutomaticallyCheckBox.CheckedChanged += new System.EventHandler(this.refreshAutomaticallyCheckBox_CheckedChanged);
420      //
421      // infoGroupBox
422      //
423      this.infoGroupBox.Anchor = ((System.Windows.Forms.AnchorStyles)((System.Windows.Forms.AnchorStyles.Top | System.Windows.Forms.AnchorStyles.Right)));
424      this.infoGroupBox.Controls.Add(this.finishedTextBox);
425      this.infoGroupBox.Controls.Add(this.calculatingTextBox);
426      this.infoGroupBox.Controls.Add(this.jobsTextBox);
427      this.infoGroupBox.Controls.Add(this.finishedLabel);
428      this.infoGroupBox.Controls.Add(this.calculatingLabel);
429      this.infoGroupBox.Controls.Add(this.jobsLabel);
430      this.infoGroupBox.Location = new System.Drawing.Point(578, 16);
431      this.infoGroupBox.Name = "infoGroupBox";
432      this.infoGroupBox.Size = new System.Drawing.Size(133, 89);
433      this.infoGroupBox.TabIndex = 25;
434      this.infoGroupBox.TabStop = false;
435      this.infoGroupBox.Text = "Tasks";
436      //
437      // finishedTextBox
438      //
439      this.finishedTextBox.Anchor = ((System.Windows.Forms.AnchorStyles)(((System.Windows.Forms.AnchorStyles.Top | System.Windows.Forms.AnchorStyles.Left) 
440            | System.Windows.Forms.AnchorStyles.Right)));
441      this.finishedTextBox.Location = new System.Drawing.Point(74, 64);
442      this.finishedTextBox.Name = "finishedTextBox";
443      this.finishedTextBox.Size = new System.Drawing.Size(53, 20);
444      this.finishedTextBox.TabIndex = 100;
445      //
446      // calculatingTextBox
447      //
448      this.calculatingTextBox.Anchor = ((System.Windows.Forms.AnchorStyles)(((System.Windows.Forms.AnchorStyles.Top | System.Windows.Forms.AnchorStyles.Left) 
449            | System.Windows.Forms.AnchorStyles.Right)));
450      this.calculatingTextBox.Location = new System.Drawing.Point(74, 40);
451      this.calculatingTextBox.Name = "calculatingTextBox";
452      this.calculatingTextBox.Size = new System.Drawing.Size(53, 20);
453      this.calculatingTextBox.TabIndex = 100;
454      //
455      // jobsTextBox
456      //
457      this.jobsTextBox.Anchor = ((System.Windows.Forms.AnchorStyles)(((System.Windows.Forms.AnchorStyles.Top | System.Windows.Forms.AnchorStyles.Left) 
458            | System.Windows.Forms.AnchorStyles.Right)));
459      this.jobsTextBox.Location = new System.Drawing.Point(74, 16);
460      this.jobsTextBox.Name = "jobsTextBox";
461      this.jobsTextBox.Size = new System.Drawing.Size(53, 20);
462      this.jobsTextBox.TabIndex = 100;
463      //
464      // finishedLabel
465      //
466      this.finishedLabel.AutoSize = true;
467      this.finishedLabel.Location = new System.Drawing.Point(6, 67);
468      this.finishedLabel.Name = "finishedLabel";
469      this.finishedLabel.Size = new System.Drawing.Size(49, 13);
470      this.finishedLabel.TabIndex = 100;
471      this.finishedLabel.Text = "Finished:";
472      //
473      // calculatingLabel
474      //
475      this.calculatingLabel.AutoSize = true;
476      this.calculatingLabel.Location = new System.Drawing.Point(6, 43);
477      this.calculatingLabel.Name = "calculatingLabel";
478      this.calculatingLabel.Size = new System.Drawing.Size(62, 13);
479      this.calculatingLabel.TabIndex = 100;
480      this.calculatingLabel.Text = "Calculating:";
481      //
482      // jobsLabel
483      //
484      this.jobsLabel.AutoSize = true;
485      this.jobsLabel.Location = new System.Drawing.Point(6, 19);
486      this.jobsLabel.Name = "jobsLabel";
487      this.jobsLabel.Size = new System.Drawing.Size(46, 13);
488      this.jobsLabel.TabIndex = 100;
489      this.jobsLabel.Text = "Waiting:";
490      //
491      // RefreshableHiveJobView
492      //
493      this.AutoScaleMode = System.Windows.Forms.AutoScaleMode.Inherit;
494      this.Controls.Add(this.searchButton);
495      this.Controls.Add(this.infoGroupBox);
496      this.Controls.Add(this.refreshAutomaticallyCheckBox);
497      this.Controls.Add(this.refreshButton);
498      this.Controls.Add(this.updateButton);
499      this.Controls.Add(this.UnloadButton);
500      this.Controls.Add(this.nameTextBox);
501      this.Controls.Add(this.nameLabel);
502      this.Controls.Add(this.descriptionTextBox);
503      this.Controls.Add(this.descriptionLabel);
504      this.Controls.Add(this.tabControl);
505      this.Controls.Add(this.startButton);
506      this.Controls.Add(this.executionTimeTextBox);
507      this.Controls.Add(this.executionTimeLabel);
508      this.Controls.Add(this.projectNameTextBox);
509      this.Controls.Add(this.pauseButton);
510      this.Controls.Add(this.projectLabel);
511      this.Controls.Add(this.stopButton);
512      this.Name = "RefreshableHiveJobView";
513      this.Size = new System.Drawing.Size(717, 588);
514      this.tabControl.ResumeLayout(false);
515      this.tasksTabPage.ResumeLayout(false);
516      this.permissionTabPage.ResumeLayout(false);
517      this.runsTabPage.ResumeLayout(false);
518      this.stateTabPage.ResumeLayout(false);
519      this.logTabPage.ResumeLayout(false);
520      this.infoGroupBox.ResumeLayout(false);
521      this.infoGroupBox.PerformLayout();
522      this.ResumeLayout(false);
523      this.PerformLayout();
524
525    }
526    #endregion
527
528    private System.Windows.Forms.Button startButton;
529    private System.Windows.Forms.Button stopButton;
530    private System.Windows.Forms.Label executionTimeLabel;
531    private System.Windows.Forms.TextBox executionTimeTextBox;
532    private System.Windows.Forms.Button pauseButton;
533    private System.Windows.Forms.Label projectLabel;
534    private System.Windows.Forms.TextBox projectNameTextBox;
535    private System.Windows.Forms.TabPage logTabPage;
536    private Core.Views.LogView logView;
537    private System.Windows.Forms.TabPage tasksTabPage;
538    private HeuristicLab.Clients.Hive.Views.HiveTaskItemTreeView jobsTreeView;
539    private System.Windows.Forms.Label nameLabel;
540    private System.Windows.Forms.TextBox nameTextBox;
541    private System.Windows.Forms.Label descriptionLabel;
542    private System.Windows.Forms.TextBox descriptionTextBox;
543    private System.Windows.Forms.ToolTip toolTip;
544    private System.Windows.Forms.Button refreshButton;
545    private System.Windows.Forms.Button updateButton;
546    private System.Windows.Forms.Button UnloadButton;
547    private System.Windows.Forms.CheckBox refreshAutomaticallyCheckBox;
548    private System.Windows.Forms.GroupBox infoGroupBox;
549    private System.Windows.Forms.TextBox finishedTextBox;
550    private System.Windows.Forms.TextBox calculatingTextBox;
551    private System.Windows.Forms.TextBox jobsTextBox;
552    private System.Windows.Forms.Label finishedLabel;
553    private System.Windows.Forms.Label calculatingLabel;
554    private System.Windows.Forms.Label jobsLabel;
555    private System.Windows.Forms.TabPage stateTabPage;
556    private HeuristicLab.MainForm.WindowsForms.ViewHost stateLogViewHost;
557    private System.Windows.Forms.TabPage permissionTabPage;
558    private HiveJobPermissionListView hiveExperimentPermissionListView;
559    private System.Windows.Forms.Button refreshPermissionsButton;
560    private System.Windows.Forms.TabPage runsTabPage;
561    private MainForm.WindowsForms.ViewHost runCollectionViewHost;
562    private System.Windows.Forms.Button searchButton;
563    private MainForm.WindowsForms.DragOverTabControl tabControl;
564  }
565}
Note: See TracBrowser for help on using the repository browser.