Free cookie consent management tool by TermsFeed Policy Generator

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

Last change on this file since 6004 was 5955, checked in by cneumuel, 14 years ago

#1233

  • seperated ExperimentMangerClient (OKB-Style, contains business logic) and HiveExperiment (mainly only contains information)
  • fixed redundant cloning methods in dtos
  • added simple statistics in HiveExperiment which the user can see before downloading an experiment
  • added db-delete cascade for slaves and statelogs - now slaves can be safely deleted
File size: 24.6 KB
Line 
1#region License Information
2/* HeuristicLab
3 * Copyright (C) 2002-2010 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.Views {
23  partial class HiveExperimentView {
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      System.ComponentModel.ComponentResourceManager resources = new System.ComponentModel.ComponentResourceManager(typeof(HiveExperimentView));
49      this.tabControl = new System.Windows.Forms.TabControl();
50      this.experimentTabPage = new System.Windows.Forms.TabPage();
51      this.openExperimentButton = new System.Windows.Forms.Button();
52      this.newExperimentButton = new System.Windows.Forms.Button();
53      this.experimentNamedItemView = new HeuristicLab.Core.Views.NamedItemView();
54      this.viewExperimentButton = new System.Windows.Forms.Button();
55      this.jobsTabPage = new System.Windows.Forms.TabPage();
56      this.jobsTreeView = new HeuristicLab.Clients.Hive.Views.ItemTreeView();
57      this.logTabPage = new System.Windows.Forms.TabPage();
58      this.logView = new HeuristicLab.Core.Views.LogView();
59      this.startButton = new System.Windows.Forms.Button();
60      this.stopButton = new System.Windows.Forms.Button();
61      this.resetButton = 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.resourceIdsLabel = new System.Windows.Forms.Label();
66      this.resourceNamesTextBox = new System.Windows.Forms.TextBox();
67      this.useLocalPluginsCheckBox = new System.Windows.Forms.CheckBox();
68      this.nameLabel = new System.Windows.Forms.Label();
69      this.nameTextBox = new System.Windows.Forms.TextBox();
70      this.toolTip = new System.Windows.Forms.ToolTip(this.components);
71      this.refreshButton = new System.Windows.Forms.Button();
72      this.refreshAutomaticallyCheckBox = new System.Windows.Forms.CheckBox();
73      this.infoGroupBox = new System.Windows.Forms.GroupBox();
74      this.finishedTextBox = new System.Windows.Forms.TextBox();
75      this.calculatingTextBox = new System.Windows.Forms.TextBox();
76      this.jobsTextBox = new System.Windows.Forms.TextBox();
77      this.finishedLabel = new System.Windows.Forms.Label();
78      this.calculatingLabel = new System.Windows.Forms.Label();
79      this.jobsLabel = new System.Windows.Forms.Label();
80      this.tabControl.SuspendLayout();
81      this.experimentTabPage.SuspendLayout();
82      this.jobsTabPage.SuspendLayout();
83      this.logTabPage.SuspendLayout();
84      this.infoGroupBox.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.experimentTabPage);
93      this.tabControl.Controls.Add(this.jobsTabPage);
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(821, 520);
99      this.tabControl.TabIndex = 4;
100      //
101      // experimentTabPage
102      //
103      this.experimentTabPage.Controls.Add(this.openExperimentButton);
104      this.experimentTabPage.Controls.Add(this.newExperimentButton);
105      this.experimentTabPage.Controls.Add(this.experimentNamedItemView);
106      this.experimentTabPage.Controls.Add(this.viewExperimentButton);
107      this.experimentTabPage.Location = new System.Drawing.Point(4, 22);
108      this.experimentTabPage.Name = "experimentTabPage";
109      this.experimentTabPage.Padding = new System.Windows.Forms.Padding(3);
110      this.experimentTabPage.Size = new System.Drawing.Size(813, 494);
111      this.experimentTabPage.TabIndex = 1;
112      this.experimentTabPage.Text = "Experiment";
113      this.experimentTabPage.UseVisualStyleBackColor = true;
114      //
115      // openExperimentButton
116      //
117      this.openExperimentButton.Image = ((System.Drawing.Image)(resources.GetObject("openExperimentButton.Image")));
118      this.openExperimentButton.Location = new System.Drawing.Point(36, 6);
119      this.openExperimentButton.Name = "openExperimentButton";
120      this.openExperimentButton.Size = new System.Drawing.Size(24, 24);
121      this.openExperimentButton.TabIndex = 5;
122      this.toolTip.SetToolTip(this.openExperimentButton, "Open Experiment");
123      this.openExperimentButton.UseVisualStyleBackColor = true;
124      this.openExperimentButton.Click += new System.EventHandler(this.openExperimentButton_Click);
125      //
126      // newExperimentButton
127      //
128      this.newExperimentButton.Image = ((System.Drawing.Image)(resources.GetObject("newExperimentButton.Image")));
129      this.newExperimentButton.Location = new System.Drawing.Point(6, 6);
130      this.newExperimentButton.Name = "newExperimentButton";
131      this.newExperimentButton.Size = new System.Drawing.Size(24, 24);
132      this.newExperimentButton.TabIndex = 4;
133      this.toolTip.SetToolTip(this.newExperimentButton, "New Experiment");
134      this.newExperimentButton.UseVisualStyleBackColor = true;
135      this.newExperimentButton.Click += new System.EventHandler(this.newExperimentButton_Click);
136      //
137      // experimentNamedItemView
138      //
139      this.experimentNamedItemView.Anchor = ((System.Windows.Forms.AnchorStyles)(((System.Windows.Forms.AnchorStyles.Top | System.Windows.Forms.AnchorStyles.Left)
140                  | System.Windows.Forms.AnchorStyles.Right)));
141      this.experimentNamedItemView.Caption = "NamedItem View";
142      this.experimentNamedItemView.Content = null;
143      this.experimentNamedItemView.Location = new System.Drawing.Point(2, 36);
144      this.experimentNamedItemView.Name = "experimentNamedItemView";
145      this.experimentNamedItemView.ReadOnly = false;
146      this.experimentNamedItemView.Size = new System.Drawing.Size(808, 26);
147      this.experimentNamedItemView.TabIndex = 3;
148      //
149      // viewExperimentButton
150      //
151      this.viewExperimentButton.Anchor = ((System.Windows.Forms.AnchorStyles)(((System.Windows.Forms.AnchorStyles.Top | System.Windows.Forms.AnchorStyles.Left)
152                  | System.Windows.Forms.AnchorStyles.Right)));
153      this.viewExperimentButton.Location = new System.Drawing.Point(3, 64);
154      this.viewExperimentButton.Name = "viewExperimentButton";
155      this.viewExperimentButton.Size = new System.Drawing.Size(804, 23);
156      this.viewExperimentButton.TabIndex = 1;
157      this.viewExperimentButton.Text = "&Show Experiment";
158      this.viewExperimentButton.UseVisualStyleBackColor = true;
159      this.viewExperimentButton.Click += new System.EventHandler(this.viewExperimentButton_Click);
160      //
161      // jobsTabPage
162      //
163      this.jobsTabPage.Controls.Add(this.jobsTreeView);
164      this.jobsTabPage.Location = new System.Drawing.Point(4, 22);
165      this.jobsTabPage.Name = "jobsTabPage";
166      this.jobsTabPage.Size = new System.Drawing.Size(813, 494);
167      this.jobsTabPage.TabIndex = 5;
168      this.jobsTabPage.Text = "Jobs";
169      this.jobsTabPage.UseVisualStyleBackColor = true;
170      //
171      // jobsTreeView
172      //
173      this.jobsTreeView.Anchor = ((System.Windows.Forms.AnchorStyles)((((System.Windows.Forms.AnchorStyles.Top | System.Windows.Forms.AnchorStyles.Bottom)
174                  | System.Windows.Forms.AnchorStyles.Left)
175                  | System.Windows.Forms.AnchorStyles.Right)));
176      this.jobsTreeView.Caption = "ItemTree View";
177      this.jobsTreeView.Content = null;
178      this.jobsTreeView.Location = new System.Drawing.Point(2, 3);
179      this.jobsTreeView.Name = "jobsTreeView";
180      this.jobsTreeView.ReadOnly = false;
181      this.jobsTreeView.Size = new System.Drawing.Size(808, 488);
182      this.jobsTreeView.TabIndex = 0;
183      //
184      // logTabPage
185      //
186      this.logTabPage.Controls.Add(this.logView);
187      this.logTabPage.Location = new System.Drawing.Point(4, 22);
188      this.logTabPage.Name = "logTabPage";
189      this.logTabPage.Size = new System.Drawing.Size(813, 494);
190      this.logTabPage.TabIndex = 3;
191      this.logTabPage.Text = "Log";
192      this.logTabPage.UseVisualStyleBackColor = true;
193      //
194      // logView
195      //
196      this.logView.Caption = "Log View";
197      this.logView.Content = null;
198      this.logView.Dock = System.Windows.Forms.DockStyle.Fill;
199      this.logView.Location = new System.Drawing.Point(0, 0);
200      this.logView.Name = "logView";
201      this.logView.ReadOnly = false;
202      this.logView.Size = new System.Drawing.Size(801, 494);
203      this.logView.TabIndex = 0;
204      //
205      // startButton
206      //
207      this.startButton.Anchor = ((System.Windows.Forms.AnchorStyles)((System.Windows.Forms.AnchorStyles.Bottom | System.Windows.Forms.AnchorStyles.Left)));
208      this.startButton.Image = ((System.Drawing.Image)(resources.GetObject("startButton.Image")));
209      this.startButton.Location = new System.Drawing.Point(0, 604);
210      this.startButton.Name = "startButton";
211      this.startButton.Size = new System.Drawing.Size(24, 24);
212      this.startButton.TabIndex = 5;
213      this.toolTip.SetToolTip(this.startButton, "Start/Resume Experiment");
214      this.startButton.UseVisualStyleBackColor = true;
215      this.startButton.Click += new System.EventHandler(this.startButton_Click);
216      //
217      // stopButton
218      //
219      this.stopButton.Anchor = ((System.Windows.Forms.AnchorStyles)((System.Windows.Forms.AnchorStyles.Bottom | System.Windows.Forms.AnchorStyles.Left)));
220      this.stopButton.Image = ((System.Drawing.Image)(resources.GetObject("stopButton.Image")));
221      this.stopButton.Location = new System.Drawing.Point(60, 604);
222      this.stopButton.Name = "stopButton";
223      this.stopButton.Size = new System.Drawing.Size(24, 24);
224      this.stopButton.TabIndex = 7;
225      this.toolTip.SetToolTip(this.stopButton, "Stop Experiment");
226      this.stopButton.UseVisualStyleBackColor = true;
227      this.stopButton.Click += new System.EventHandler(this.stopButton_Click);
228      //
229      // resetButton
230      //
231      this.resetButton.Anchor = ((System.Windows.Forms.AnchorStyles)((System.Windows.Forms.AnchorStyles.Bottom | System.Windows.Forms.AnchorStyles.Left)));
232      this.resetButton.Enabled = false;
233      this.resetButton.Image = ((System.Drawing.Image)(resources.GetObject("resetButton.Image")));
234      this.resetButton.Location = new System.Drawing.Point(90, 604);
235      this.resetButton.Name = "resetButton";
236      this.resetButton.Size = new System.Drawing.Size(24, 24);
237      this.resetButton.TabIndex = 8;
238      this.toolTip.SetToolTip(this.resetButton, "Reset Experiment");
239      this.resetButton.UseVisualStyleBackColor = true;
240      this.resetButton.Click += new System.EventHandler(this.resetButton_Click);
241      //
242      // executionTimeLabel
243      //
244      this.executionTimeLabel.Anchor = ((System.Windows.Forms.AnchorStyles)((System.Windows.Forms.AnchorStyles.Bottom | System.Windows.Forms.AnchorStyles.Right)));
245      this.executionTimeLabel.AutoSize = true;
246      this.executionTimeLabel.Location = new System.Drawing.Point(595, 611);
247      this.executionTimeLabel.Name = "executionTimeLabel";
248      this.executionTimeLabel.Size = new System.Drawing.Size(83, 13);
249      this.executionTimeLabel.TabIndex = 9;
250      this.executionTimeLabel.Text = "&Execution Time:";
251      //
252      // executionTimeTextBox
253      //
254      this.executionTimeTextBox.Anchor = ((System.Windows.Forms.AnchorStyles)((System.Windows.Forms.AnchorStyles.Bottom | System.Windows.Forms.AnchorStyles.Right)));
255      this.executionTimeTextBox.Location = new System.Drawing.Point(684, 608);
256      this.executionTimeTextBox.Name = "executionTimeTextBox";
257      this.executionTimeTextBox.ReadOnly = true;
258      this.executionTimeTextBox.Size = new System.Drawing.Size(137, 20);
259      this.executionTimeTextBox.TabIndex = 10;
260      //
261      // pauseButton
262      //
263      this.pauseButton.Anchor = ((System.Windows.Forms.AnchorStyles)((System.Windows.Forms.AnchorStyles.Bottom | System.Windows.Forms.AnchorStyles.Left)));
264      this.pauseButton.Enabled = false;
265      this.pauseButton.Image = ((System.Drawing.Image)(resources.GetObject("pauseButton.Image")));
266      this.pauseButton.Location = new System.Drawing.Point(30, 604);
267      this.pauseButton.Name = "pauseButton";
268      this.pauseButton.Size = new System.Drawing.Size(24, 24);
269      this.pauseButton.TabIndex = 6;
270      this.toolTip.SetToolTip(this.pauseButton, "Pause Experiment");
271      this.pauseButton.UseVisualStyleBackColor = true;
272      this.pauseButton.Click += new System.EventHandler(this.pauseButton_Click);
273      //
274      // resourceIdsLabel
275      //
276      this.resourceIdsLabel.AutoSize = true;
277      this.resourceIdsLabel.Location = new System.Drawing.Point(4, 56);
278      this.resourceIdsLabel.Name = "resourceIdsLabel";
279      this.resourceIdsLabel.Size = new System.Drawing.Size(70, 13);
280      this.resourceIdsLabel.TabIndex = 12;
281      this.resourceIdsLabel.Text = "ResourceIds:";
282      //
283      // resourceNamesTextBox
284      //
285      this.resourceNamesTextBox.Anchor = ((System.Windows.Forms.AnchorStyles)(((System.Windows.Forms.AnchorStyles.Top | System.Windows.Forms.AnchorStyles.Left)
286                  | System.Windows.Forms.AnchorStyles.Right)));
287      this.resourceNamesTextBox.Location = new System.Drawing.Point(73, 53);
288      this.resourceNamesTextBox.Name = "resourceNamesTextBox";
289      this.resourceNamesTextBox.Size = new System.Drawing.Size(494, 20);
290      this.resourceNamesTextBox.TabIndex = 14;
291      this.resourceNamesTextBox.Validated += new System.EventHandler(this.resourceNamesTextBox_Validated);
292      //
293      // useLocalPluginsCheckBox
294      //
295      this.useLocalPluginsCheckBox.Anchor = ((System.Windows.Forms.AnchorStyles)((System.Windows.Forms.AnchorStyles.Top | System.Windows.Forms.AnchorStyles.Right)));
296      this.useLocalPluginsCheckBox.AutoSize = true;
297      this.useLocalPluginsCheckBox.Location = new System.Drawing.Point(573, 56);
298      this.useLocalPluginsCheckBox.Name = "useLocalPluginsCheckBox";
299      this.useLocalPluginsCheckBox.Size = new System.Drawing.Size(105, 17);
300      this.useLocalPluginsCheckBox.TabIndex = 19;
301      this.useLocalPluginsCheckBox.Text = "UseLocalPlugins";
302      this.useLocalPluginsCheckBox.UseVisualStyleBackColor = true;
303      this.useLocalPluginsCheckBox.CheckedChanged += new System.EventHandler(this.useLocalPluginsCheckBox_CheckedChanged);
304      //
305      // nameLabel
306      //
307      this.nameLabel.AutoSize = true;
308      this.nameLabel.Location = new System.Drawing.Point(1, 27);
309      this.nameLabel.Name = "nameLabel";
310      this.nameLabel.Size = new System.Drawing.Size(38, 13);
311      this.nameLabel.TabIndex = 20;
312      this.nameLabel.Text = "Name:";
313      //
314      // nameTextBox
315      //
316      this.nameTextBox.Anchor = ((System.Windows.Forms.AnchorStyles)(((System.Windows.Forms.AnchorStyles.Top | System.Windows.Forms.AnchorStyles.Left)
317                  | System.Windows.Forms.AnchorStyles.Right)));
318      this.nameTextBox.Location = new System.Drawing.Point(73, 27);
319      this.nameTextBox.Name = "nameTextBox";
320      this.nameTextBox.Size = new System.Drawing.Size(605, 20);
321      this.nameTextBox.TabIndex = 21;
322      this.nameTextBox.Validated += new System.EventHandler(this.nameTextBox_Validated);
323      //
324      // refreshButton
325      //
326      this.refreshButton.Image = ((System.Drawing.Image)(resources.GetObject("refreshButton.Image")));
327      this.refreshButton.Location = new System.Drawing.Point(3, 0);
328      this.refreshButton.Name = "refreshButton";
329      this.refreshButton.Size = new System.Drawing.Size(24, 24);
330      this.refreshButton.TabIndex = 22;
331      this.toolTip.SetToolTip(this.refreshButton, "Refresh Data");
332      this.refreshButton.UseVisualStyleBackColor = true;
333      this.refreshButton.Click += new System.EventHandler(this.refreshButton_Click);
334      //
335      // refreshAutomaticallyCheckBox
336      //
337      this.refreshAutomaticallyCheckBox.AutoSize = true;
338      this.refreshAutomaticallyCheckBox.Location = new System.Drawing.Point(30, 5);
339      this.refreshAutomaticallyCheckBox.Name = "refreshAutomaticallyCheckBox";
340      this.refreshAutomaticallyCheckBox.Size = new System.Drawing.Size(128, 17);
341      this.refreshAutomaticallyCheckBox.TabIndex = 24;
342      this.refreshAutomaticallyCheckBox.Text = "&Refresh Automatically";
343      this.refreshAutomaticallyCheckBox.UseVisualStyleBackColor = true;
344      this.refreshAutomaticallyCheckBox.CheckedChanged += new System.EventHandler(this.refreshAutomaticallyCheckBox_CheckedChanged);
345      //
346      // infoGroupBox
347      //
348      this.infoGroupBox.Anchor = ((System.Windows.Forms.AnchorStyles)((System.Windows.Forms.AnchorStyles.Top | System.Windows.Forms.AnchorStyles.Right)));
349      this.infoGroupBox.Controls.Add(this.finishedTextBox);
350      this.infoGroupBox.Controls.Add(this.calculatingTextBox);
351      this.infoGroupBox.Controls.Add(this.jobsTextBox);
352      this.infoGroupBox.Controls.Add(this.finishedLabel);
353      this.infoGroupBox.Controls.Add(this.calculatingLabel);
354      this.infoGroupBox.Controls.Add(this.jobsLabel);
355      this.infoGroupBox.Location = new System.Drawing.Point(684, 5);
356      this.infoGroupBox.Name = "infoGroupBox";
357      this.infoGroupBox.Size = new System.Drawing.Size(133, 89);
358      this.infoGroupBox.TabIndex = 25;
359      this.infoGroupBox.TabStop = false;
360      this.infoGroupBox.Text = "Info";
361      //
362      // finishedTextBox
363      //
364      this.finishedTextBox.Anchor = ((System.Windows.Forms.AnchorStyles)(((System.Windows.Forms.AnchorStyles.Top | System.Windows.Forms.AnchorStyles.Left)
365                  | System.Windows.Forms.AnchorStyles.Right)));
366      this.finishedTextBox.Location = new System.Drawing.Point(74, 64);
367      this.finishedTextBox.Name = "finishedTextBox";
368      this.finishedTextBox.Size = new System.Drawing.Size(53, 20);
369      this.finishedTextBox.TabIndex = 5;
370      //
371      // calculatingTextBox
372      //
373      this.calculatingTextBox.Anchor = ((System.Windows.Forms.AnchorStyles)(((System.Windows.Forms.AnchorStyles.Top | System.Windows.Forms.AnchorStyles.Left)
374                  | System.Windows.Forms.AnchorStyles.Right)));
375      this.calculatingTextBox.Location = new System.Drawing.Point(74, 40);
376      this.calculatingTextBox.Name = "calculatingTextBox";
377      this.calculatingTextBox.Size = new System.Drawing.Size(53, 20);
378      this.calculatingTextBox.TabIndex = 4;
379      //
380      // jobsTextBox
381      //
382      this.jobsTextBox.Anchor = ((System.Windows.Forms.AnchorStyles)(((System.Windows.Forms.AnchorStyles.Top | System.Windows.Forms.AnchorStyles.Left)
383                  | System.Windows.Forms.AnchorStyles.Right)));
384      this.jobsTextBox.Location = new System.Drawing.Point(74, 16);
385      this.jobsTextBox.Name = "jobsTextBox";
386      this.jobsTextBox.Size = new System.Drawing.Size(53, 20);
387      this.jobsTextBox.TabIndex = 3;
388      //
389      // finishedLabel
390      //
391      this.finishedLabel.AutoSize = true;
392      this.finishedLabel.Location = new System.Drawing.Point(6, 67);
393      this.finishedLabel.Name = "finishedLabel";
394      this.finishedLabel.Size = new System.Drawing.Size(49, 13);
395      this.finishedLabel.TabIndex = 2;
396      this.finishedLabel.Text = "Finished:";
397      //
398      // calculatingLabel
399      //
400      this.calculatingLabel.AutoSize = true;
401      this.calculatingLabel.Location = new System.Drawing.Point(6, 43);
402      this.calculatingLabel.Name = "calculatingLabel";
403      this.calculatingLabel.Size = new System.Drawing.Size(62, 13);
404      this.calculatingLabel.TabIndex = 1;
405      this.calculatingLabel.Text = "Calculating:";
406      //
407      // jobsLabel
408      //
409      this.jobsLabel.AutoSize = true;
410      this.jobsLabel.Location = new System.Drawing.Point(6, 19);
411      this.jobsLabel.Name = "jobsLabel";
412      this.jobsLabel.Size = new System.Drawing.Size(32, 13);
413      this.jobsLabel.TabIndex = 0;
414      this.jobsLabel.Text = "Jobs:";
415      //
416      // HiveExperimentView
417      //
418      this.AutoScaleDimensions = new System.Drawing.SizeF(6F, 13F);
419      this.AutoScaleMode = System.Windows.Forms.AutoScaleMode.Font;
420      this.Controls.Add(this.infoGroupBox);
421      this.Controls.Add(this.refreshAutomaticallyCheckBox);
422      this.Controls.Add(this.refreshButton);
423      this.Controls.Add(this.nameTextBox);
424      this.Controls.Add(this.nameLabel);
425      this.Controls.Add(this.tabControl);
426      this.Controls.Add(this.startButton);
427      this.Controls.Add(this.executionTimeTextBox);
428      this.Controls.Add(this.executionTimeLabel);
429      this.Controls.Add(this.resourceNamesTextBox);
430      this.Controls.Add(this.pauseButton);
431      this.Controls.Add(this.resourceIdsLabel);
432      this.Controls.Add(this.stopButton);
433      this.Controls.Add(this.useLocalPluginsCheckBox);
434      this.Controls.Add(this.resetButton);
435      this.Name = "HiveExperimentView";
436      this.Size = new System.Drawing.Size(821, 628);
437      this.tabControl.ResumeLayout(false);
438      this.experimentTabPage.ResumeLayout(false);
439      this.jobsTabPage.ResumeLayout(false);
440      this.logTabPage.ResumeLayout(false);
441      this.infoGroupBox.ResumeLayout(false);
442      this.infoGroupBox.PerformLayout();
443      this.ResumeLayout(false);
444      this.PerformLayout();
445
446    }
447    #endregion
448
449    private System.Windows.Forms.TabControl tabControl;
450    private System.Windows.Forms.TabPage experimentTabPage;
451    private System.Windows.Forms.Button startButton;
452    private System.Windows.Forms.Button stopButton;
453    private System.Windows.Forms.Button resetButton;
454    private System.Windows.Forms.Label executionTimeLabel;
455    private System.Windows.Forms.TextBox executionTimeTextBox;
456    private System.Windows.Forms.Button pauseButton;
457    private System.Windows.Forms.Label resourceIdsLabel;
458    private System.Windows.Forms.TextBox resourceNamesTextBox;
459    private System.Windows.Forms.Button viewExperimentButton;
460    private Core.Views.NamedItemView experimentNamedItemView;
461    private System.Windows.Forms.TabPage logTabPage;
462    private Core.Views.LogView logView;
463    private System.Windows.Forms.Button openExperimentButton;
464    private System.Windows.Forms.Button newExperimentButton;
465    private System.Windows.Forms.CheckBox useLocalPluginsCheckBox;
466    private System.Windows.Forms.TabPage jobsTabPage;
467    private ItemTreeView jobsTreeView;
468    private System.Windows.Forms.Label nameLabel;
469    private System.Windows.Forms.TextBox nameTextBox;
470    private System.Windows.Forms.ToolTip toolTip;
471    private System.Windows.Forms.Button refreshButton;
472    private System.Windows.Forms.CheckBox refreshAutomaticallyCheckBox;
473    private System.Windows.Forms.GroupBox infoGroupBox;
474    private System.Windows.Forms.TextBox finishedTextBox;
475    private System.Windows.Forms.TextBox calculatingTextBox;
476    private System.Windows.Forms.TextBox jobsTextBox;
477    private System.Windows.Forms.Label finishedLabel;
478    private System.Windows.Forms.Label calculatingLabel;
479    private System.Windows.Forms.Label jobsLabel;
480
481  }
482}
Note: See TracBrowser for help on using the repository browser.