source: trunk/sources/HeuristicLab.Clients.Hive.JobManager/3.3/Views/RefreshableHiveJobView.Designer.cs @ 12012

Last change on this file since 12012 was 12012, checked in by ascheibe, 8 years ago

#2212 merged r12008, r12009, r12010 back into trunk

File size: 28.7 KB
Line 
1#region License Information
2/* HeuristicLab
3 * Copyright (C) 2002-2015 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      this.tabControl = new HeuristicLab.MainForm.WindowsForms.DragOverTabControl();
49      this.tasksTabPage = new System.Windows.Forms.TabPage();
50      this.jobsTreeView = new HeuristicLab.Clients.Hive.Views.HiveTaskItemTreeView();
51      this.permissionTabPage = new System.Windows.Forms.TabPage();
52      this.refreshPermissionsButton = new System.Windows.Forms.Button();
53      this.hiveExperimentPermissionListView = new HeuristicLab.Clients.Hive.JobManager.Views.HiveJobPermissionListView();
54      this.runsTabPage = new System.Windows.Forms.TabPage();
55      this.runCollectionViewHost = new HeuristicLab.MainForm.WindowsForms.ViewHost();
56      this.stateTabPage = new System.Windows.Forms.TabPage();
57      this.stateLogViewHost = new HeuristicLab.MainForm.WindowsForms.ViewHost();
58      this.logTabPage = new System.Windows.Forms.TabPage();
59      this.logView = new HeuristicLab.Core.Views.LogView();
60      this.startButton = new System.Windows.Forms.Button();
61      this.stopButton = new System.Windows.Forms.Button();
62      this.resetButton = 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.resourceIdsLabel = new System.Windows.Forms.Label();
67      this.resourceNamesTextBox = new System.Windows.Forms.TextBox();
68      this.nameLabel = new System.Windows.Forms.Label();
69      this.nameTextBox = new System.Windows.Forms.TextBox();
70      this.toolTip = new System.Windows.Forms.ToolTip(this.components);
71      this.refreshButton = new System.Windows.Forms.Button();
72      this.isPrivilegedCheckBox = new System.Windows.Forms.CheckBox();
73      this.UnloadButton = new System.Windows.Forms.Button();
74      this.refreshAutomaticallyCheckBox = new System.Windows.Forms.CheckBox();
75      this.infoGroupBox = new System.Windows.Forms.GroupBox();
76      this.finishedTextBox = new System.Windows.Forms.TextBox();
77      this.calculatingTextBox = new System.Windows.Forms.TextBox();
78      this.jobsTextBox = new System.Windows.Forms.TextBox();
79      this.finishedLabel = new System.Windows.Forms.Label();
80      this.calculatingLabel = new System.Windows.Forms.Label();
81      this.jobsLabel = new System.Windows.Forms.Label();
82      this.searchButton = new System.Windows.Forms.Button();
83      this.tabControl.SuspendLayout();
84      this.tasksTabPage.SuspendLayout();
85      this.permissionTabPage.SuspendLayout();
86      this.runsTabPage.SuspendLayout();
87      this.stateTabPage.SuspendLayout();
88      this.logTabPage.SuspendLayout();
89      this.infoGroupBox.SuspendLayout();
90      this.SuspendLayout();
91      //
92      // tabControl
93      //
94      this.tabControl.AllowDrop = true;
95      this.tabControl.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.tabControl.Controls.Add(this.tasksTabPage);
99      this.tabControl.Controls.Add(this.permissionTabPage);
100      this.tabControl.Controls.Add(this.runsTabPage);
101      this.tabControl.Controls.Add(this.stateTabPage);
102      this.tabControl.Controls.Add(this.logTabPage);
103      this.tabControl.Location = new System.Drawing.Point(0, 78);
104      this.tabControl.Name = "tabControl";
105      this.tabControl.SelectedIndex = 0;
106      this.tabControl.Size = new System.Drawing.Size(717, 452);
107      this.tabControl.TabIndex = 4;
108      this.tabControl.SelectedIndexChanged += new System.EventHandler(this.tabControl_SelectedIndexChanged);
109      //
110      // tasksTabPage
111      //
112      this.tasksTabPage.Controls.Add(this.jobsTreeView);
113      this.tasksTabPage.Location = new System.Drawing.Point(4, 22);
114      this.tasksTabPage.Name = "tasksTabPage";
115      this.tasksTabPage.Size = new System.Drawing.Size(709, 426);
116      this.tasksTabPage.TabIndex = 5;
117      this.tasksTabPage.Text = "Tasks";
118      this.tasksTabPage.UseVisualStyleBackColor = true;
119      //
120      // jobsTreeView
121      //
122      this.jobsTreeView.AllowDrop = true;
123      this.jobsTreeView.Anchor = ((System.Windows.Forms.AnchorStyles)((((System.Windows.Forms.AnchorStyles.Top | System.Windows.Forms.AnchorStyles.Bottom)
124            | System.Windows.Forms.AnchorStyles.Left)
125            | System.Windows.Forms.AnchorStyles.Right)));
126      this.jobsTreeView.Caption = "ItemTree View";
127      this.jobsTreeView.Content = null;
128      this.jobsTreeView.Location = new System.Drawing.Point(2, 3);
129      this.jobsTreeView.Name = "jobsTreeView";
130      this.jobsTreeView.ReadOnly = false;
131      this.jobsTreeView.Size = new System.Drawing.Size(704, 420);
132      this.jobsTreeView.TabIndex = 4;
133      this.jobsTreeView.DragDrop += new System.Windows.Forms.DragEventHandler(this.jobsTreeView_DragDrop);
134      this.jobsTreeView.DragEnter += new System.Windows.Forms.DragEventHandler(this.jobsTreeView_DragEnter);
135      this.jobsTreeView.DragOver += new System.Windows.Forms.DragEventHandler(this.jobsTreeView_DragOver);
136      //
137      // permissionTabPage
138      //
139      this.permissionTabPage.Controls.Add(this.refreshPermissionsButton);
140      this.permissionTabPage.Controls.Add(this.hiveExperimentPermissionListView);
141      this.permissionTabPage.Location = new System.Drawing.Point(4, 22);
142      this.permissionTabPage.Name = "permissionTabPage";
143      this.permissionTabPage.Size = new System.Drawing.Size(709, 426);
144      this.permissionTabPage.TabIndex = 7;
145      this.permissionTabPage.Text = "Permissions";
146      this.permissionTabPage.UseVisualStyleBackColor = true;
147      //
148      // refreshPermissionsButton
149      //
150      this.refreshPermissionsButton.Image = HeuristicLab.Common.Resources.VSImageLibrary.Refresh;
151      this.refreshPermissionsButton.Location = new System.Drawing.Point(3, 3);
152      this.refreshPermissionsButton.Name = "refreshPermissionsButton";
153      this.refreshPermissionsButton.Size = new System.Drawing.Size(24, 24);
154      this.refreshPermissionsButton.TabIndex = 23;
155      this.toolTip.SetToolTip(this.refreshPermissionsButton, "Refresh Data");
156      this.refreshPermissionsButton.UseVisualStyleBackColor = true;
157      this.refreshPermissionsButton.Click += new System.EventHandler(this.refreshPermissionsButton_Click);
158      //
159      // hiveExperimentPermissionListView
160      //
161      this.hiveExperimentPermissionListView.Anchor = ((System.Windows.Forms.AnchorStyles)((((System.Windows.Forms.AnchorStyles.Top | System.Windows.Forms.AnchorStyles.Bottom)
162            | System.Windows.Forms.AnchorStyles.Left)
163            | System.Windows.Forms.AnchorStyles.Right)));
164      this.hiveExperimentPermissionListView.Caption = "HiveExperimentPermissionList View";
165      this.hiveExperimentPermissionListView.Content = null;
166      this.hiveExperimentPermissionListView.HiveExperimentId = new System.Guid("00000000-0000-0000-0000-000000000000");
167      this.hiveExperimentPermissionListView.Location = new System.Drawing.Point(3, 33);
168      this.hiveExperimentPermissionListView.Name = "hiveExperimentPermissionListView";
169      this.hiveExperimentPermissionListView.ReadOnly = false;
170      this.hiveExperimentPermissionListView.ShowDetails = true;
171      this.hiveExperimentPermissionListView.Size = new System.Drawing.Size(703, 390);
172      this.hiveExperimentPermissionListView.TabIndex = 0;
173      //
174      // runsTabPage
175      //
176      this.runsTabPage.Controls.Add(this.runCollectionViewHost);
177      this.runsTabPage.Location = new System.Drawing.Point(4, 22);
178      this.runsTabPage.Name = "runsTabPage";
179      this.runsTabPage.Padding = new System.Windows.Forms.Padding(3);
180      this.runsTabPage.Size = new System.Drawing.Size(709, 426);
181      this.runsTabPage.TabIndex = 8;
182      this.runsTabPage.Text = "Runs";
183      this.runsTabPage.UseVisualStyleBackColor = true;
184      //
185      // runCollectionViewHost
186      //
187      this.runCollectionViewHost.Anchor = ((System.Windows.Forms.AnchorStyles)((((System.Windows.Forms.AnchorStyles.Top | System.Windows.Forms.AnchorStyles.Bottom)
188            | System.Windows.Forms.AnchorStyles.Left)
189            | System.Windows.Forms.AnchorStyles.Right)));
190      this.runCollectionViewHost.Caption = "View";
191      this.runCollectionViewHost.Content = null;
192      this.runCollectionViewHost.Enabled = false;
193      this.runCollectionViewHost.Location = new System.Drawing.Point(3, 3);
194      this.runCollectionViewHost.Name = "runCollectionViewHost";
195      this.runCollectionViewHost.ReadOnly = false;
196      this.runCollectionViewHost.Size = new System.Drawing.Size(703, 420);
197      this.runCollectionViewHost.TabIndex = 2;
198      this.runCollectionViewHost.ViewsLabelVisible = true;
199      this.runCollectionViewHost.ViewType = null;
200      //
201      // stateTabPage
202      //
203      this.stateTabPage.Controls.Add(this.stateLogViewHost);
204      this.stateTabPage.Location = new System.Drawing.Point(4, 22);
205      this.stateTabPage.Name = "stateTabPage";
206      this.stateTabPage.Size = new System.Drawing.Size(709, 426);
207      this.stateTabPage.TabIndex = 6;
208      this.stateTabPage.Text = "Execution History";
209      this.stateTabPage.UseVisualStyleBackColor = true;
210      //
211      // stateLogViewHost
212      //
213      this.stateLogViewHost.Anchor = ((System.Windows.Forms.AnchorStyles)((((System.Windows.Forms.AnchorStyles.Top | System.Windows.Forms.AnchorStyles.Bottom)
214            | System.Windows.Forms.AnchorStyles.Left)
215            | System.Windows.Forms.AnchorStyles.Right)));
216      this.stateLogViewHost.Caption = "StateLog View";
217      this.stateLogViewHost.Content = null;
218      this.stateLogViewHost.Enabled = false;
219      this.stateLogViewHost.Location = new System.Drawing.Point(3, 3);
220      this.stateLogViewHost.Name = "stateLogViewHost";
221      this.stateLogViewHost.ReadOnly = false;
222      this.stateLogViewHost.Size = new System.Drawing.Size(703, 420);
223      this.stateLogViewHost.TabIndex = 0;
224      this.stateLogViewHost.ViewsLabelVisible = true;
225      this.stateLogViewHost.ViewType = null;
226      //
227      // logTabPage
228      //
229      this.logTabPage.Controls.Add(this.logView);
230      this.logTabPage.Location = new System.Drawing.Point(4, 22);
231      this.logTabPage.Name = "logTabPage";
232      this.logTabPage.Size = new System.Drawing.Size(709, 426);
233      this.logTabPage.TabIndex = 3;
234      this.logTabPage.Text = "Log";
235      this.logTabPage.UseVisualStyleBackColor = true;
236      //
237      // logView
238      //
239      this.logView.Anchor = ((System.Windows.Forms.AnchorStyles)((((System.Windows.Forms.AnchorStyles.Top | System.Windows.Forms.AnchorStyles.Bottom)
240            | System.Windows.Forms.AnchorStyles.Left)
241            | System.Windows.Forms.AnchorStyles.Right)));
242      this.logView.Caption = "Log View";
243      this.logView.Content = null;
244      this.logView.Location = new System.Drawing.Point(3, 3);
245      this.logView.Name = "logView";
246      this.logView.ReadOnly = false;
247      this.logView.Size = new System.Drawing.Size(703, 420);
248      this.logView.TabIndex = 0;
249      //
250      // startButton
251      //
252      this.startButton.Anchor = ((System.Windows.Forms.AnchorStyles)((System.Windows.Forms.AnchorStyles.Bottom | System.Windows.Forms.AnchorStyles.Left)));
253      this.startButton.Image = HeuristicLab.Common.Resources.VSImageLibrary.Play;
254      this.startButton.Location = new System.Drawing.Point(0, 536);
255      this.startButton.Name = "startButton";
256      this.startButton.Size = new System.Drawing.Size(24, 24);
257      this.startButton.TabIndex = 5;
258      this.toolTip.SetToolTip(this.startButton, "Start/Resume Experiment");
259      this.startButton.UseVisualStyleBackColor = true;
260      this.startButton.Click += new System.EventHandler(this.startButton_Click);
261      //
262      // stopButton
263      //
264      this.stopButton.Anchor = ((System.Windows.Forms.AnchorStyles)((System.Windows.Forms.AnchorStyles.Bottom | System.Windows.Forms.AnchorStyles.Left)));
265      this.stopButton.Image = HeuristicLab.Common.Resources.VSImageLibrary.Stop;
266      this.stopButton.Location = new System.Drawing.Point(60, 536);
267      this.stopButton.Name = "stopButton";
268      this.stopButton.Size = new System.Drawing.Size(24, 24);
269      this.stopButton.TabIndex = 7;
270      this.toolTip.SetToolTip(this.stopButton, "Stop Experiment");
271      this.stopButton.UseVisualStyleBackColor = true;
272      this.stopButton.Click += new System.EventHandler(this.stopButton_Click);
273      //
274      // resetButton
275      //
276      this.resetButton.Anchor = ((System.Windows.Forms.AnchorStyles)((System.Windows.Forms.AnchorStyles.Bottom | System.Windows.Forms.AnchorStyles.Left)));
277      this.resetButton.Enabled = false;
278      this.resetButton.Image = HeuristicLab.Common.Resources.VSImageLibrary.Restart;
279      this.resetButton.Location = new System.Drawing.Point(90, 536);
280      this.resetButton.Name = "resetButton";
281      this.resetButton.Size = new System.Drawing.Size(24, 24);
282      this.resetButton.TabIndex = 8;
283      this.toolTip.SetToolTip(this.resetButton, "Reset Experiment");
284      this.resetButton.UseVisualStyleBackColor = true;
285      this.resetButton.Click += new System.EventHandler(this.resetButton_Click);
286      //
287      // executionTimeLabel
288      //
289      this.executionTimeLabel.Anchor = ((System.Windows.Forms.AnchorStyles)((System.Windows.Forms.AnchorStyles.Bottom | System.Windows.Forms.AnchorStyles.Right)));
290      this.executionTimeLabel.AutoSize = true;
291      this.executionTimeLabel.Location = new System.Drawing.Point(491, 543);
292      this.executionTimeLabel.Name = "executionTimeLabel";
293      this.executionTimeLabel.Size = new System.Drawing.Size(83, 13);
294      this.executionTimeLabel.TabIndex = 9;
295      this.executionTimeLabel.Text = "&Execution Time:";
296      //
297      // executionTimeTextBox
298      //
299      this.executionTimeTextBox.Anchor = ((System.Windows.Forms.AnchorStyles)((System.Windows.Forms.AnchorStyles.Bottom | System.Windows.Forms.AnchorStyles.Right)));
300      this.executionTimeTextBox.Location = new System.Drawing.Point(580, 540);
301      this.executionTimeTextBox.Name = "executionTimeTextBox";
302      this.executionTimeTextBox.ReadOnly = true;
303      this.executionTimeTextBox.Size = new System.Drawing.Size(137, 20);
304      this.executionTimeTextBox.TabIndex = 10;
305      //
306      // pauseButton
307      //
308      this.pauseButton.Anchor = ((System.Windows.Forms.AnchorStyles)((System.Windows.Forms.AnchorStyles.Bottom | System.Windows.Forms.AnchorStyles.Left)));
309      this.pauseButton.Enabled = false;
310      this.pauseButton.Image = HeuristicLab.Common.Resources.VSImageLibrary.Pause;
311      this.pauseButton.Location = new System.Drawing.Point(30, 536);
312      this.pauseButton.Name = "pauseButton";
313      this.pauseButton.Size = new System.Drawing.Size(24, 24);
314      this.pauseButton.TabIndex = 6;
315      this.toolTip.SetToolTip(this.pauseButton, "Pause Experiment");
316      this.pauseButton.UseVisualStyleBackColor = true;
317      this.pauseButton.Click += new System.EventHandler(this.pauseButton_Click);
318      //
319      // resourceIdsLabel
320      //
321      this.resourceIdsLabel.AutoSize = true;
322      this.resourceIdsLabel.Location = new System.Drawing.Point(3, 56);
323      this.resourceIdsLabel.Name = "resourceIdsLabel";
324      this.resourceIdsLabel.Size = new System.Drawing.Size(61, 13);
325      this.resourceIdsLabel.TabIndex = 12;
326      this.resourceIdsLabel.Text = "Resources:";
327      //
328      // resourceNamesTextBox
329      //
330      this.resourceNamesTextBox.Anchor = ((System.Windows.Forms.AnchorStyles)(((System.Windows.Forms.AnchorStyles.Top | System.Windows.Forms.AnchorStyles.Left)
331            | System.Windows.Forms.AnchorStyles.Right)));
332      this.resourceNamesTextBox.Location = new System.Drawing.Point(70, 52);
333      this.resourceNamesTextBox.Name = "resourceNamesTextBox";
334      this.resourceNamesTextBox.Size = new System.Drawing.Size(385, 20);
335      this.resourceNamesTextBox.TabIndex = 2;
336      this.resourceNamesTextBox.Validated += new System.EventHandler(this.resourceNamesTextBox_Validated);
337      //
338      // nameLabel
339      //
340      this.nameLabel.AutoSize = true;
341      this.nameLabel.Location = new System.Drawing.Point(3, 30);
342      this.nameLabel.Name = "nameLabel";
343      this.nameLabel.Size = new System.Drawing.Size(38, 13);
344      this.nameLabel.TabIndex = 20;
345      this.nameLabel.Text = "Name:";
346      //
347      // nameTextBox
348      //
349      this.nameTextBox.Anchor = ((System.Windows.Forms.AnchorStyles)(((System.Windows.Forms.AnchorStyles.Top | System.Windows.Forms.AnchorStyles.Left)
350            | System.Windows.Forms.AnchorStyles.Right)));
351      this.nameTextBox.Location = new System.Drawing.Point(70, 27);
352      this.nameTextBox.Name = "nameTextBox";
353      this.nameTextBox.Size = new System.Drawing.Size(501, 20);
354      this.nameTextBox.TabIndex = 1;
355      this.nameTextBox.Validated += new System.EventHandler(this.nameTextBox_Validated);
356      //
357      // refreshButton
358      //
359      this.refreshButton.Image = HeuristicLab.Common.Resources.VSImageLibrary.Refresh;
360      this.refreshButton.Location = new System.Drawing.Point(3, 0);
361      this.refreshButton.Name = "refreshButton";
362      this.refreshButton.Size = new System.Drawing.Size(24, 24);
363      this.refreshButton.TabIndex = 22;
364      this.toolTip.SetToolTip(this.refreshButton, "Refresh Data");
365      this.refreshButton.UseVisualStyleBackColor = true;
366      this.refreshButton.Click += new System.EventHandler(this.refreshButton_Click);
367      //
368      // isPrivilegedCheckBox
369      //
370      this.isPrivilegedCheckBox.Anchor = ((System.Windows.Forms.AnchorStyles)((System.Windows.Forms.AnchorStyles.Top | System.Windows.Forms.AnchorStyles.Right)));
371      this.isPrivilegedCheckBox.AutoSize = true;
372      this.isPrivilegedCheckBox.Location = new System.Drawing.Point(491, 54);
373      this.isPrivilegedCheckBox.Name = "isPrivilegedCheckBox";
374      this.isPrivilegedCheckBox.Size = new System.Drawing.Size(72, 17);
375      this.isPrivilegedCheckBox.TabIndex = 3;
376      this.isPrivilegedCheckBox.Text = "Privileged";
377      this.toolTip.SetToolTip(this.isPrivilegedCheckBox, "If checked, the task will be executed in a privileged sandbox on the slave.");
378      this.isPrivilegedCheckBox.UseVisualStyleBackColor = true;
379      this.isPrivilegedCheckBox.CheckedChanged += new System.EventHandler(this.isPrivilegedCheckBox_CheckChanged);
380      //
381      // UnloadButton
382      //
383      this.UnloadButton.Image = HeuristicLab.Common.Resources.VSImageLibrary.Disconnect;
384      this.UnloadButton.Location = new System.Drawing.Point(30, 0);
385      this.UnloadButton.Name = "UnloadButton";
386      this.UnloadButton.Size = new System.Drawing.Size(24, 24);
387      this.UnloadButton.TabIndex = 27;
388      this.toolTip.SetToolTip(this.UnloadButton, "Unload Job");
389      this.UnloadButton.UseVisualStyleBackColor = true;
390      this.UnloadButton.Click += new System.EventHandler(this.UnloadButton_Click);
391      //
392      // refreshAutomaticallyCheckBox
393      //
394      this.refreshAutomaticallyCheckBox.AutoSize = true;
395      this.refreshAutomaticallyCheckBox.Location = new System.Drawing.Point(70, 3);
396      this.refreshAutomaticallyCheckBox.Name = "refreshAutomaticallyCheckBox";
397      this.refreshAutomaticallyCheckBox.Size = new System.Drawing.Size(127, 17);
398      this.refreshAutomaticallyCheckBox.TabIndex = 24;
399      this.refreshAutomaticallyCheckBox.Text = "&Refresh automatically";
400      this.refreshAutomaticallyCheckBox.UseVisualStyleBackColor = true;
401      this.refreshAutomaticallyCheckBox.CheckedChanged += new System.EventHandler(this.refreshAutomaticallyCheckBox_CheckedChanged);
402      //
403      // infoGroupBox
404      //
405      this.infoGroupBox.Anchor = ((System.Windows.Forms.AnchorStyles)((System.Windows.Forms.AnchorStyles.Top | System.Windows.Forms.AnchorStyles.Right)));
406      this.infoGroupBox.Controls.Add(this.finishedTextBox);
407      this.infoGroupBox.Controls.Add(this.calculatingTextBox);
408      this.infoGroupBox.Controls.Add(this.jobsTextBox);
409      this.infoGroupBox.Controls.Add(this.finishedLabel);
410      this.infoGroupBox.Controls.Add(this.calculatingLabel);
411      this.infoGroupBox.Controls.Add(this.jobsLabel);
412      this.infoGroupBox.Location = new System.Drawing.Point(580, 5);
413      this.infoGroupBox.Name = "infoGroupBox";
414      this.infoGroupBox.Size = new System.Drawing.Size(133, 89);
415      this.infoGroupBox.TabIndex = 25;
416      this.infoGroupBox.TabStop = false;
417      this.infoGroupBox.Text = "Tasks";
418      //
419      // finishedTextBox
420      //
421      this.finishedTextBox.Anchor = ((System.Windows.Forms.AnchorStyles)(((System.Windows.Forms.AnchorStyles.Top | System.Windows.Forms.AnchorStyles.Left)
422            | System.Windows.Forms.AnchorStyles.Right)));
423      this.finishedTextBox.Location = new System.Drawing.Point(74, 64);
424      this.finishedTextBox.Name = "finishedTextBox";
425      this.finishedTextBox.Size = new System.Drawing.Size(53, 20);
426      this.finishedTextBox.TabIndex = 5;
427      //
428      // calculatingTextBox
429      //
430      this.calculatingTextBox.Anchor = ((System.Windows.Forms.AnchorStyles)(((System.Windows.Forms.AnchorStyles.Top | System.Windows.Forms.AnchorStyles.Left)
431            | System.Windows.Forms.AnchorStyles.Right)));
432      this.calculatingTextBox.Location = new System.Drawing.Point(74, 40);
433      this.calculatingTextBox.Name = "calculatingTextBox";
434      this.calculatingTextBox.Size = new System.Drawing.Size(53, 20);
435      this.calculatingTextBox.TabIndex = 4;
436      //
437      // jobsTextBox
438      //
439      this.jobsTextBox.Anchor = ((System.Windows.Forms.AnchorStyles)(((System.Windows.Forms.AnchorStyles.Top | System.Windows.Forms.AnchorStyles.Left)
440            | System.Windows.Forms.AnchorStyles.Right)));
441      this.jobsTextBox.Location = new System.Drawing.Point(74, 16);
442      this.jobsTextBox.Name = "jobsTextBox";
443      this.jobsTextBox.Size = new System.Drawing.Size(53, 20);
444      this.jobsTextBox.TabIndex = 3;
445      //
446      // finishedLabel
447      //
448      this.finishedLabel.AutoSize = true;
449      this.finishedLabel.Location = new System.Drawing.Point(6, 67);
450      this.finishedLabel.Name = "finishedLabel";
451      this.finishedLabel.Size = new System.Drawing.Size(49, 13);
452      this.finishedLabel.TabIndex = 2;
453      this.finishedLabel.Text = "Finished:";
454      //
455      // calculatingLabel
456      //
457      this.calculatingLabel.AutoSize = true;
458      this.calculatingLabel.Location = new System.Drawing.Point(6, 43);
459      this.calculatingLabel.Name = "calculatingLabel";
460      this.calculatingLabel.Size = new System.Drawing.Size(62, 13);
461      this.calculatingLabel.TabIndex = 1;
462      this.calculatingLabel.Text = "Calculating:";
463      //
464      // jobsLabel
465      //
466      this.jobsLabel.AutoSize = true;
467      this.jobsLabel.Location = new System.Drawing.Point(6, 19);
468      this.jobsLabel.Name = "jobsLabel";
469      this.jobsLabel.Size = new System.Drawing.Size(46, 13);
470      this.jobsLabel.TabIndex = 0;
471      this.jobsLabel.Text = "Waiting:";
472      //
473      // searchButton
474      //
475      this.searchButton.Anchor = ((System.Windows.Forms.AnchorStyles)((System.Windows.Forms.AnchorStyles.Top | System.Windows.Forms.AnchorStyles.Right)));
476      this.searchButton.Image = HeuristicLab.Common.Resources.VSImageLibrary.Zoom;
477      this.searchButton.Location = new System.Drawing.Point(461, 50);
478      this.searchButton.Name = "searchButton";
479      this.searchButton.Size = new System.Drawing.Size(24, 24);
480      this.searchButton.TabIndex = 26;
481      this.searchButton.UseVisualStyleBackColor = true;
482      this.searchButton.Click += new System.EventHandler(this.searchButton_Click);
483      //
484      // RefreshableHiveJobView
485      //
486      this.AutoScaleMode = System.Windows.Forms.AutoScaleMode.Inherit;
487      this.Controls.Add(this.UnloadButton);
488      this.Controls.Add(this.searchButton);
489      this.Controls.Add(this.isPrivilegedCheckBox);
490      this.Controls.Add(this.infoGroupBox);
491      this.Controls.Add(this.refreshAutomaticallyCheckBox);
492      this.Controls.Add(this.refreshButton);
493      this.Controls.Add(this.nameTextBox);
494      this.Controls.Add(this.nameLabel);
495      this.Controls.Add(this.tabControl);
496      this.Controls.Add(this.startButton);
497      this.Controls.Add(this.executionTimeTextBox);
498      this.Controls.Add(this.executionTimeLabel);
499      this.Controls.Add(this.resourceNamesTextBox);
500      this.Controls.Add(this.pauseButton);
501      this.Controls.Add(this.resourceIdsLabel);
502      this.Controls.Add(this.stopButton);
503      this.Controls.Add(this.resetButton);
504      this.Name = "RefreshableHiveJobView";
505      this.Size = new System.Drawing.Size(717, 560);
506      this.tabControl.ResumeLayout(false);
507      this.tasksTabPage.ResumeLayout(false);
508      this.permissionTabPage.ResumeLayout(false);
509      this.runsTabPage.ResumeLayout(false);
510      this.stateTabPage.ResumeLayout(false);
511      this.logTabPage.ResumeLayout(false);
512      this.infoGroupBox.ResumeLayout(false);
513      this.infoGroupBox.PerformLayout();
514      this.ResumeLayout(false);
515      this.PerformLayout();
516
517    }
518    #endregion
519
520    private System.Windows.Forms.Button startButton;
521    private System.Windows.Forms.Button stopButton;
522    private System.Windows.Forms.Button resetButton;
523    private System.Windows.Forms.Label executionTimeLabel;
524    private System.Windows.Forms.TextBox executionTimeTextBox;
525    private System.Windows.Forms.Button pauseButton;
526    private System.Windows.Forms.Label resourceIdsLabel;
527    private System.Windows.Forms.TextBox resourceNamesTextBox;
528    private System.Windows.Forms.TabPage logTabPage;
529    private Core.Views.LogView logView;
530    private System.Windows.Forms.TabPage tasksTabPage;
531    private HeuristicLab.Clients.Hive.Views.HiveTaskItemTreeView jobsTreeView;
532    private System.Windows.Forms.Label nameLabel;
533    private System.Windows.Forms.TextBox nameTextBox;
534    private System.Windows.Forms.ToolTip toolTip;
535    private System.Windows.Forms.Button refreshButton;
536    private System.Windows.Forms.CheckBox refreshAutomaticallyCheckBox;
537    private System.Windows.Forms.GroupBox infoGroupBox;
538    private System.Windows.Forms.TextBox finishedTextBox;
539    private System.Windows.Forms.TextBox calculatingTextBox;
540    private System.Windows.Forms.TextBox jobsTextBox;
541    private System.Windows.Forms.Label finishedLabel;
542    private System.Windows.Forms.Label calculatingLabel;
543    private System.Windows.Forms.Label jobsLabel;
544    private System.Windows.Forms.CheckBox isPrivilegedCheckBox;
545    private System.Windows.Forms.TabPage stateTabPage;
546    private HeuristicLab.MainForm.WindowsForms.ViewHost stateLogViewHost;
547    private System.Windows.Forms.TabPage permissionTabPage;
548    private HiveJobPermissionListView hiveExperimentPermissionListView;
549    private System.Windows.Forms.Button refreshPermissionsButton;
550    private System.Windows.Forms.TabPage runsTabPage;
551    private MainForm.WindowsForms.ViewHost runCollectionViewHost;
552    private System.Windows.Forms.Button searchButton;
553    private MainForm.WindowsForms.DragOverTabControl tabControl;
554    private System.Windows.Forms.Button UnloadButton;
555
556  }
557}
Note: See TracBrowser for help on using the repository browser.