source: branches/HeuristicLab.Hive-3.4/sources/HeuristicLab.Clients.Hive.ExperimentManager/3.4/Views/RefreshableHiveExperimentView.Designer.cs @ 6479

Last change on this file since 6479 was 6479, checked in by cneumuel, 8 years ago

#1233

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