Free cookie consent management tool by TermsFeed Policy Generator

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

Last change on this file since 7156 was 7104, checked in by ascheibe, 13 years ago

#1672 fixed graphical glitches and corrected tab order in the job manager

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