Free cookie consent management tool by TermsFeed Policy Generator

source: branches/2931_OR-Tools_LP_MIP/HeuristicLab.Clients.Hive.JobManager/3.3/Views/RefreshableHiveJobView.Designer.cs @ 16606

Last change on this file since 16606 was 16139, checked in by ddorfmei, 6 years ago

#2931: Merged [16046-16138/trunk] into branch

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