Free cookie consent management tool by TermsFeed Policy Generator

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

Last change on this file since 6419 was 6419, checked in by cneumuel, 13 years ago

#1233

  • created events when statelog changed
  • fixed memory leak in hiveengine
  • extended timeout for long running transactions and database contexts (when jobdata is stored)
  • replaced random guids in database with sequential guids for performance reasons
  • minor fixes and cleanups
File size: 23.2 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.logTabPage = new System.Windows.Forms.TabPage();
55      this.logView = new HeuristicLab.Core.Views.LogView();
56      this.startButton = new System.Windows.Forms.Button();
57      this.stopButton = new System.Windows.Forms.Button();
58      this.resetButton = new System.Windows.Forms.Button();
59      this.executionTimeLabel = new System.Windows.Forms.Label();
60      this.executionTimeTextBox = new System.Windows.Forms.TextBox();
61      this.pauseButton = new System.Windows.Forms.Button();
62      this.resourceIdsLabel = new System.Windows.Forms.Label();
63      this.resourceNamesTextBox = new System.Windows.Forms.TextBox();
64      this.useLocalPluginsCheckBox = new System.Windows.Forms.CheckBox();
65      this.nameLabel = new System.Windows.Forms.Label();
66      this.nameTextBox = new System.Windows.Forms.TextBox();
67      this.toolTip = new System.Windows.Forms.ToolTip(this.components);
68      this.refreshButton = new System.Windows.Forms.Button();
69      this.isPrivilegedCheckBox = new System.Windows.Forms.CheckBox();
70      this.refreshAutomaticallyCheckBox = new System.Windows.Forms.CheckBox();
71      this.infoGroupBox = new System.Windows.Forms.GroupBox();
72      this.finishedTextBox = new System.Windows.Forms.TextBox();
73      this.calculatingTextBox = new System.Windows.Forms.TextBox();
74      this.jobsTextBox = new System.Windows.Forms.TextBox();
75      this.finishedLabel = new System.Windows.Forms.Label();
76      this.calculatingLabel = new System.Windows.Forms.Label();
77      this.jobsLabel = new System.Windows.Forms.Label();
78      this.stateTabPage = new System.Windows.Forms.TabPage();
79      this.stateLogViewHost = new ViewHost();
80      this.tabControl.SuspendLayout();
81      this.jobsTabPage.SuspendLayout();
82      this.logTabPage.SuspendLayout();
83      this.infoGroupBox.SuspendLayout();
84      this.stateTabPage.SuspendLayout();
85      this.SuspendLayout();
86      //
87      // tabControl
88      //
89      this.tabControl.Anchor = ((System.Windows.Forms.AnchorStyles)((((System.Windows.Forms.AnchorStyles.Top | System.Windows.Forms.AnchorStyles.Bottom)
90                  | System.Windows.Forms.AnchorStyles.Left)
91                  | System.Windows.Forms.AnchorStyles.Right)));
92      this.tabControl.Controls.Add(this.jobsTabPage);
93      this.tabControl.Controls.Add(this.stateTabPage);
94      this.tabControl.Controls.Add(this.logTabPage);
95      this.tabControl.Location = new System.Drawing.Point(0, 78);
96      this.tabControl.Name = "tabControl";
97      this.tabControl.SelectedIndex = 0;
98      this.tabControl.Size = new System.Drawing.Size(717, 452);
99      this.tabControl.TabIndex = 4;
100      //
101      // jobsTabPage
102      //
103      this.jobsTabPage.Controls.Add(this.jobsTreeView);
104      this.jobsTabPage.Location = new System.Drawing.Point(4, 22);
105      this.jobsTabPage.Name = "jobsTabPage";
106      this.jobsTabPage.Size = new System.Drawing.Size(709, 426);
107      this.jobsTabPage.TabIndex = 5;
108      this.jobsTabPage.Text = "Jobs";
109      this.jobsTabPage.UseVisualStyleBackColor = true;
110      //
111      // jobsTreeView
112      //
113      this.jobsTreeView.AllowDrop = true;
114      this.jobsTreeView.Anchor = ((System.Windows.Forms.AnchorStyles)((((System.Windows.Forms.AnchorStyles.Top | System.Windows.Forms.AnchorStyles.Bottom)
115                  | System.Windows.Forms.AnchorStyles.Left)
116                  | System.Windows.Forms.AnchorStyles.Right)));
117      this.jobsTreeView.Caption = "ItemTree View";
118      this.jobsTreeView.Content = null;
119      this.jobsTreeView.Location = new System.Drawing.Point(2, 3);
120      this.jobsTreeView.Name = "jobsTreeView";
121      this.jobsTreeView.ReadOnly = false;
122      this.jobsTreeView.Size = new System.Drawing.Size(704, 420);
123      this.jobsTreeView.TabIndex = 0;
124      this.jobsTreeView.DragDrop += new System.Windows.Forms.DragEventHandler(this.jobsTreeView_DragDrop);
125      this.jobsTreeView.DragEnter += new System.Windows.Forms.DragEventHandler(this.jobsTreeView_DragEnter);
126      this.jobsTreeView.DragOver += new System.Windows.Forms.DragEventHandler(this.jobsTreeView_DragOver);
127      //
128      // logTabPage
129      //
130      this.logTabPage.Controls.Add(this.logView);
131      this.logTabPage.Location = new System.Drawing.Point(4, 22);
132      this.logTabPage.Name = "logTabPage";
133      this.logTabPage.Size = new System.Drawing.Size(709, 426);
134      this.logTabPage.TabIndex = 3;
135      this.logTabPage.Text = "Log";
136      this.logTabPage.UseVisualStyleBackColor = true;
137      //
138      // logView
139      //
140      this.logView.Caption = "Log View";
141      this.logView.Content = null;
142      this.logView.Dock = System.Windows.Forms.DockStyle.Fill;
143      this.logView.Location = new System.Drawing.Point(0, 0);
144      this.logView.Name = "logView";
145      this.logView.ReadOnly = false;
146      this.logView.Size = new System.Drawing.Size(813, 494);
147      this.logView.TabIndex = 0;
148      //
149      // startButton
150      //
151      this.startButton.Anchor = ((System.Windows.Forms.AnchorStyles)((System.Windows.Forms.AnchorStyles.Bottom | System.Windows.Forms.AnchorStyles.Left)));
152      this.startButton.Image = ((System.Drawing.Image)(resources.GetObject("startButton.Image")));
153      this.startButton.Location = new System.Drawing.Point(0, 536);
154      this.startButton.Name = "startButton";
155      this.startButton.Size = new System.Drawing.Size(24, 24);
156      this.startButton.TabIndex = 5;
157      this.toolTip.SetToolTip(this.startButton, "Start/Resume Experiment");
158      this.startButton.UseVisualStyleBackColor = true;
159      this.startButton.Click += new System.EventHandler(this.startButton_Click);
160      //
161      // stopButton
162      //
163      this.stopButton.Anchor = ((System.Windows.Forms.AnchorStyles)((System.Windows.Forms.AnchorStyles.Bottom | System.Windows.Forms.AnchorStyles.Left)));
164      this.stopButton.Image = ((System.Drawing.Image)(resources.GetObject("stopButton.Image")));
165      this.stopButton.Location = new System.Drawing.Point(60, 536);
166      this.stopButton.Name = "stopButton";
167      this.stopButton.Size = new System.Drawing.Size(24, 24);
168      this.stopButton.TabIndex = 7;
169      this.toolTip.SetToolTip(this.stopButton, "Stop Experiment");
170      this.stopButton.UseVisualStyleBackColor = true;
171      this.stopButton.Click += new System.EventHandler(this.stopButton_Click);
172      //
173      // resetButton
174      //
175      this.resetButton.Anchor = ((System.Windows.Forms.AnchorStyles)((System.Windows.Forms.AnchorStyles.Bottom | System.Windows.Forms.AnchorStyles.Left)));
176      this.resetButton.Enabled = false;
177      this.resetButton.Image = ((System.Drawing.Image)(resources.GetObject("resetButton.Image")));
178      this.resetButton.Location = new System.Drawing.Point(90, 536);
179      this.resetButton.Name = "resetButton";
180      this.resetButton.Size = new System.Drawing.Size(24, 24);
181      this.resetButton.TabIndex = 8;
182      this.toolTip.SetToolTip(this.resetButton, "Reset Experiment");
183      this.resetButton.UseVisualStyleBackColor = true;
184      this.resetButton.Click += new System.EventHandler(this.resetButton_Click);
185      //
186      // executionTimeLabel
187      //
188      this.executionTimeLabel.Anchor = ((System.Windows.Forms.AnchorStyles)((System.Windows.Forms.AnchorStyles.Bottom | System.Windows.Forms.AnchorStyles.Right)));
189      this.executionTimeLabel.AutoSize = true;
190      this.executionTimeLabel.Location = new System.Drawing.Point(491, 543);
191      this.executionTimeLabel.Name = "executionTimeLabel";
192      this.executionTimeLabel.Size = new System.Drawing.Size(83, 13);
193      this.executionTimeLabel.TabIndex = 9;
194      this.executionTimeLabel.Text = "&Execution Time:";
195      //
196      // executionTimeTextBox
197      //
198      this.executionTimeTextBox.Anchor = ((System.Windows.Forms.AnchorStyles)((System.Windows.Forms.AnchorStyles.Bottom | System.Windows.Forms.AnchorStyles.Right)));
199      this.executionTimeTextBox.Location = new System.Drawing.Point(580, 540);
200      this.executionTimeTextBox.Name = "executionTimeTextBox";
201      this.executionTimeTextBox.ReadOnly = true;
202      this.executionTimeTextBox.Size = new System.Drawing.Size(137, 20);
203      this.executionTimeTextBox.TabIndex = 10;
204      //
205      // pauseButton
206      //
207      this.pauseButton.Anchor = ((System.Windows.Forms.AnchorStyles)((System.Windows.Forms.AnchorStyles.Bottom | System.Windows.Forms.AnchorStyles.Left)));
208      this.pauseButton.Enabled = false;
209      this.pauseButton.Image = ((System.Drawing.Image)(resources.GetObject("pauseButton.Image")));
210      this.pauseButton.Location = new System.Drawing.Point(30, 536);
211      this.pauseButton.Name = "pauseButton";
212      this.pauseButton.Size = new System.Drawing.Size(24, 24);
213      this.pauseButton.TabIndex = 6;
214      this.toolTip.SetToolTip(this.pauseButton, "Pause Experiment");
215      this.pauseButton.UseVisualStyleBackColor = true;
216      this.pauseButton.Click += new System.EventHandler(this.pauseButton_Click);
217      //
218      // resourceIdsLabel
219      //
220      this.resourceIdsLabel.AutoSize = true;
221      this.resourceIdsLabel.Location = new System.Drawing.Point(4, 56);
222      this.resourceIdsLabel.Name = "resourceIdsLabel";
223      this.resourceIdsLabel.Size = new System.Drawing.Size(70, 13);
224      this.resourceIdsLabel.TabIndex = 12;
225      this.resourceIdsLabel.Text = "ResourceIds:";
226      //
227      // resourceNamesTextBox
228      //
229      this.resourceNamesTextBox.Anchor = ((System.Windows.Forms.AnchorStyles)(((System.Windows.Forms.AnchorStyles.Top | System.Windows.Forms.AnchorStyles.Left)
230                  | System.Windows.Forms.AnchorStyles.Right)));
231      this.resourceNamesTextBox.Location = new System.Drawing.Point(73, 53);
232      this.resourceNamesTextBox.Name = "resourceNamesTextBox";
233      this.resourceNamesTextBox.Size = new System.Drawing.Size(304, 20);
234      this.resourceNamesTextBox.TabIndex = 14;
235      this.resourceNamesTextBox.Validated += new System.EventHandler(this.resourceNamesTextBox_Validated);
236      //
237      // useLocalPluginsCheckBox
238      //
239      this.useLocalPluginsCheckBox.Anchor = ((System.Windows.Forms.AnchorStyles)((System.Windows.Forms.AnchorStyles.Top | System.Windows.Forms.AnchorStyles.Right)));
240      this.useLocalPluginsCheckBox.AutoSize = true;
241      this.useLocalPluginsCheckBox.Location = new System.Drawing.Point(469, 56);
242      this.useLocalPluginsCheckBox.Name = "useLocalPluginsCheckBox";
243      this.useLocalPluginsCheckBox.Size = new System.Drawing.Size(105, 17);
244      this.useLocalPluginsCheckBox.TabIndex = 19;
245      this.useLocalPluginsCheckBox.Text = "UseLocalPlugins";
246      this.useLocalPluginsCheckBox.UseVisualStyleBackColor = true;
247      this.useLocalPluginsCheckBox.CheckedChanged += new System.EventHandler(this.useLocalPluginsCheckBox_CheckedChanged);
248      //
249      // nameLabel
250      //
251      this.nameLabel.AutoSize = true;
252      this.nameLabel.Location = new System.Drawing.Point(1, 27);
253      this.nameLabel.Name = "nameLabel";
254      this.nameLabel.Size = new System.Drawing.Size(38, 13);
255      this.nameLabel.TabIndex = 20;
256      this.nameLabel.Text = "Name:";
257      //
258      // nameTextBox
259      //
260      this.nameTextBox.Anchor = ((System.Windows.Forms.AnchorStyles)(((System.Windows.Forms.AnchorStyles.Top | System.Windows.Forms.AnchorStyles.Left)
261                  | System.Windows.Forms.AnchorStyles.Right)));
262      this.nameTextBox.Location = new System.Drawing.Point(73, 27);
263      this.nameTextBox.Name = "nameTextBox";
264      this.nameTextBox.Size = new System.Drawing.Size(501, 20);
265      this.nameTextBox.TabIndex = 21;
266      this.nameTextBox.Validated += new System.EventHandler(this.nameTextBox_Validated);
267      //
268      // refreshButton
269      //
270      this.refreshButton.Image = ((System.Drawing.Image)(resources.GetObject("refreshButton.Image")));
271      this.refreshButton.Location = new System.Drawing.Point(3, 0);
272      this.refreshButton.Name = "refreshButton";
273      this.refreshButton.Size = new System.Drawing.Size(24, 24);
274      this.refreshButton.TabIndex = 22;
275      this.toolTip.SetToolTip(this.refreshButton, "Refresh Data");
276      this.refreshButton.UseVisualStyleBackColor = true;
277      this.refreshButton.Click += new System.EventHandler(this.refreshButton_Click);
278      //
279      // isPrivilegedCheckBox
280      //
281      this.isPrivilegedCheckBox.Anchor = ((System.Windows.Forms.AnchorStyles)((System.Windows.Forms.AnchorStyles.Top | System.Windows.Forms.AnchorStyles.Right)));
282      this.isPrivilegedCheckBox.AutoSize = true;
283      this.isPrivilegedCheckBox.Location = new System.Drawing.Point(383, 55);
284      this.isPrivilegedCheckBox.Name = "isPrivilegedCheckBox";
285      this.isPrivilegedCheckBox.Size = new System.Drawing.Size(80, 17);
286      this.isPrivilegedCheckBox.TabIndex = 26;
287      this.isPrivilegedCheckBox.Text = "IsPrivileged";
288      this.toolTip.SetToolTip(this.isPrivilegedCheckBox, "If checked, the job will be executed in a privileged sandbox on the slave.");
289      this.isPrivilegedCheckBox.UseVisualStyleBackColor = true;
290      this.isPrivilegedCheckBox.CheckedChanged += new System.EventHandler(this.isPrivilegedCheckBox_CheckedChanged);
291      //
292      // refreshAutomaticallyCheckBox
293      //
294      this.refreshAutomaticallyCheckBox.AutoSize = true;
295      this.refreshAutomaticallyCheckBox.Location = new System.Drawing.Point(30, 5);
296      this.refreshAutomaticallyCheckBox.Name = "refreshAutomaticallyCheckBox";
297      this.refreshAutomaticallyCheckBox.Size = new System.Drawing.Size(128, 17);
298      this.refreshAutomaticallyCheckBox.TabIndex = 24;
299      this.refreshAutomaticallyCheckBox.Text = "&Refresh Automatically";
300      this.refreshAutomaticallyCheckBox.UseVisualStyleBackColor = true;
301      this.refreshAutomaticallyCheckBox.CheckedChanged += new System.EventHandler(this.refreshAutomaticallyCheckBox_CheckedChanged);
302      //
303      // infoGroupBox
304      //
305      this.infoGroupBox.Anchor = ((System.Windows.Forms.AnchorStyles)((System.Windows.Forms.AnchorStyles.Top | System.Windows.Forms.AnchorStyles.Right)));
306      this.infoGroupBox.Controls.Add(this.finishedTextBox);
307      this.infoGroupBox.Controls.Add(this.calculatingTextBox);
308      this.infoGroupBox.Controls.Add(this.jobsTextBox);
309      this.infoGroupBox.Controls.Add(this.finishedLabel);
310      this.infoGroupBox.Controls.Add(this.calculatingLabel);
311      this.infoGroupBox.Controls.Add(this.jobsLabel);
312      this.infoGroupBox.Location = new System.Drawing.Point(580, 5);
313      this.infoGroupBox.Name = "infoGroupBox";
314      this.infoGroupBox.Size = new System.Drawing.Size(133, 89);
315      this.infoGroupBox.TabIndex = 25;
316      this.infoGroupBox.TabStop = false;
317      this.infoGroupBox.Text = "Info";
318      //
319      // finishedTextBox
320      //
321      this.finishedTextBox.Anchor = ((System.Windows.Forms.AnchorStyles)(((System.Windows.Forms.AnchorStyles.Top | System.Windows.Forms.AnchorStyles.Left)
322                  | System.Windows.Forms.AnchorStyles.Right)));
323      this.finishedTextBox.Location = new System.Drawing.Point(74, 64);
324      this.finishedTextBox.Name = "finishedTextBox";
325      this.finishedTextBox.Size = new System.Drawing.Size(53, 20);
326      this.finishedTextBox.TabIndex = 5;
327      //
328      // calculatingTextBox
329      //
330      this.calculatingTextBox.Anchor = ((System.Windows.Forms.AnchorStyles)(((System.Windows.Forms.AnchorStyles.Top | System.Windows.Forms.AnchorStyles.Left)
331                  | System.Windows.Forms.AnchorStyles.Right)));
332      this.calculatingTextBox.Location = new System.Drawing.Point(74, 40);
333      this.calculatingTextBox.Name = "calculatingTextBox";
334      this.calculatingTextBox.Size = new System.Drawing.Size(53, 20);
335      this.calculatingTextBox.TabIndex = 4;
336      //
337      // jobsTextBox
338      //
339      this.jobsTextBox.Anchor = ((System.Windows.Forms.AnchorStyles)(((System.Windows.Forms.AnchorStyles.Top | System.Windows.Forms.AnchorStyles.Left)
340                  | System.Windows.Forms.AnchorStyles.Right)));
341      this.jobsTextBox.Location = new System.Drawing.Point(74, 16);
342      this.jobsTextBox.Name = "jobsTextBox";
343      this.jobsTextBox.Size = new System.Drawing.Size(53, 20);
344      this.jobsTextBox.TabIndex = 3;
345      //
346      // finishedLabel
347      //
348      this.finishedLabel.AutoSize = true;
349      this.finishedLabel.Location = new System.Drawing.Point(6, 67);
350      this.finishedLabel.Name = "finishedLabel";
351      this.finishedLabel.Size = new System.Drawing.Size(49, 13);
352      this.finishedLabel.TabIndex = 2;
353      this.finishedLabel.Text = "Finished:";
354      //
355      // calculatingLabel
356      //
357      this.calculatingLabel.AutoSize = true;
358      this.calculatingLabel.Location = new System.Drawing.Point(6, 43);
359      this.calculatingLabel.Name = "calculatingLabel";
360      this.calculatingLabel.Size = new System.Drawing.Size(62, 13);
361      this.calculatingLabel.TabIndex = 1;
362      this.calculatingLabel.Text = "Calculating:";
363      //
364      // jobsLabel
365      //
366      this.jobsLabel.AutoSize = true;
367      this.jobsLabel.Location = new System.Drawing.Point(6, 19);
368      this.jobsLabel.Name = "jobsLabel";
369      this.jobsLabel.Size = new System.Drawing.Size(32, 13);
370      this.jobsLabel.TabIndex = 0;
371      this.jobsLabel.Text = "Jobs:";
372      //
373      // stateTabPage
374      //
375      this.stateTabPage.Controls.Add(this.stateLogViewHost);
376      this.stateTabPage.Location = new System.Drawing.Point(4, 22);
377      this.stateTabPage.Name = "stateTabPage";
378      this.stateTabPage.Size = new System.Drawing.Size(709, 426);
379      this.stateTabPage.TabIndex = 6;
380      this.stateTabPage.Text = "State";
381      this.stateTabPage.UseVisualStyleBackColor = true;
382      //
383      // stateLogViewHost
384      //
385      this.stateLogViewHost.Caption = "StateLog View";
386      this.stateLogViewHost.Content = null;
387      this.stateLogViewHost.Dock = System.Windows.Forms.DockStyle.Fill;
388      this.stateLogViewHost.Location = new System.Drawing.Point(0, 0);
389      this.stateLogViewHost.Name = "stateLogViewHost";
390      this.stateLogViewHost.ReadOnly = false;
391      this.stateLogViewHost.Size = new System.Drawing.Size(709, 426);
392      this.stateLogViewHost.TabIndex = 0;
393      //
394      // RefreshableHiveExperimentView
395      //
396      this.AutoScaleDimensions = new System.Drawing.SizeF(6F, 13F);
397      this.AutoScaleMode = System.Windows.Forms.AutoScaleMode.Font;
398      this.Controls.Add(this.isPrivilegedCheckBox);
399      this.Controls.Add(this.infoGroupBox);
400      this.Controls.Add(this.refreshAutomaticallyCheckBox);
401      this.Controls.Add(this.refreshButton);
402      this.Controls.Add(this.nameTextBox);
403      this.Controls.Add(this.nameLabel);
404      this.Controls.Add(this.tabControl);
405      this.Controls.Add(this.startButton);
406      this.Controls.Add(this.executionTimeTextBox);
407      this.Controls.Add(this.executionTimeLabel);
408      this.Controls.Add(this.resourceNamesTextBox);
409      this.Controls.Add(this.pauseButton);
410      this.Controls.Add(this.resourceIdsLabel);
411      this.Controls.Add(this.stopButton);
412      this.Controls.Add(this.useLocalPluginsCheckBox);
413      this.Controls.Add(this.resetButton);
414      this.Name = "RefreshableHiveExperimentView";
415      this.Size = new System.Drawing.Size(717, 560);
416      this.tabControl.ResumeLayout(false);
417      this.jobsTabPage.ResumeLayout(false);
418      this.logTabPage.ResumeLayout(false);
419      this.infoGroupBox.ResumeLayout(false);
420      this.infoGroupBox.PerformLayout();
421      this.stateTabPage.ResumeLayout(false);
422      this.ResumeLayout(false);
423      this.PerformLayout();
424
425    }
426    #endregion
427
428    private System.Windows.Forms.TabControl tabControl;
429    private System.Windows.Forms.Button startButton;
430    private System.Windows.Forms.Button stopButton;
431    private System.Windows.Forms.Button resetButton;
432    private System.Windows.Forms.Label executionTimeLabel;
433    private System.Windows.Forms.TextBox executionTimeTextBox;
434    private System.Windows.Forms.Button pauseButton;
435    private System.Windows.Forms.Label resourceIdsLabel;
436    private System.Windows.Forms.TextBox resourceNamesTextBox;
437    private System.Windows.Forms.TabPage logTabPage;
438    private Core.Views.LogView logView;
439    private System.Windows.Forms.CheckBox useLocalPluginsCheckBox;
440    private System.Windows.Forms.TabPage jobsTabPage;
441    private HiveJobItemTreeView jobsTreeView;
442    private System.Windows.Forms.Label nameLabel;
443    private System.Windows.Forms.TextBox nameTextBox;
444    private System.Windows.Forms.ToolTip toolTip;
445    private System.Windows.Forms.Button refreshButton;
446    private System.Windows.Forms.CheckBox refreshAutomaticallyCheckBox;
447    private System.Windows.Forms.GroupBox infoGroupBox;
448    private System.Windows.Forms.TextBox finishedTextBox;
449    private System.Windows.Forms.TextBox calculatingTextBox;
450    private System.Windows.Forms.TextBox jobsTextBox;
451    private System.Windows.Forms.Label finishedLabel;
452    private System.Windows.Forms.Label calculatingLabel;
453    private System.Windows.Forms.Label jobsLabel;
454    private System.Windows.Forms.CheckBox isPrivilegedCheckBox;
455    private System.Windows.Forms.TabPage stateTabPage;
456    private ViewHost stateLogViewHost;
457
458  }
459}
Note: See TracBrowser for help on using the repository browser.