#region License Information /* HeuristicLab * Copyright (C) 2002-2010 Heuristic and Evolutionary Algorithms Laboratory (HEAL) * * This file is part of HeuristicLab. * * HeuristicLab is free software: you can redistribute it and/or modify * it under the terms of the GNU General Public License as published by * the Free Software Foundation, either version 3 of the License, or * (at your option) any later version. * * HeuristicLab is distributed in the hope that it will be useful, * but WITHOUT ANY WARRANTY; without even the implied warranty of * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the * GNU General Public License for more details. * * You should have received a copy of the GNU General Public License * along with HeuristicLab. If not, see . */ #endregion namespace HeuristicLab.Clients.Hive.Views { partial class HiveExperimentView { /// /// Required designer variable. /// private System.ComponentModel.IContainer components = null; /// /// Clean up any resources being used. /// /// true if managed resources should be disposed; otherwise, false. protected override void Dispose(bool disposing) { if (disposing) { if (components != null) components.Dispose(); } base.Dispose(disposing); } #region Component Designer generated code /// /// Required method for Designer support - do not modify /// the contents of this method with the code editor. /// private void InitializeComponent() { this.components = new System.ComponentModel.Container(); System.ComponentModel.ComponentResourceManager resources = new System.ComponentModel.ComponentResourceManager(typeof(HiveExperimentView)); this.tabControl = new System.Windows.Forms.TabControl(); this.experimentTabPage = new System.Windows.Forms.TabPage(); this.openExperimentButton = new System.Windows.Forms.Button(); this.newExperimentButton = new System.Windows.Forms.Button(); this.experimentNamedItemView = new HeuristicLab.Core.Views.NamedItemView(); this.viewExperimentButton = new System.Windows.Forms.Button(); this.jobsTabPage = new System.Windows.Forms.TabPage(); this.jobsTreeView = new HeuristicLab.Clients.Hive.Views.ItemTreeView(); this.logTabPage = new System.Windows.Forms.TabPage(); this.logView = new HeuristicLab.Core.Views.LogView(); this.startButton = new System.Windows.Forms.Button(); this.stopButton = new System.Windows.Forms.Button(); this.resetButton = new System.Windows.Forms.Button(); this.executionTimeLabel = new System.Windows.Forms.Label(); this.executionTimeTextBox = new System.Windows.Forms.TextBox(); this.pauseButton = new System.Windows.Forms.Button(); this.resourceIdsLabel = new System.Windows.Forms.Label(); this.resourceNamesTextBox = new System.Windows.Forms.TextBox(); this.useLocalPluginsCheckBox = new System.Windows.Forms.CheckBox(); this.nameLabel = new System.Windows.Forms.Label(); this.nameTextBox = new System.Windows.Forms.TextBox(); this.toolTip = new System.Windows.Forms.ToolTip(this.components); this.refreshButton = new System.Windows.Forms.Button(); this.refreshAutomaticallyCheckBox = new System.Windows.Forms.CheckBox(); this.infoGroupBox = new System.Windows.Forms.GroupBox(); this.finishedTextBox = new System.Windows.Forms.TextBox(); this.calculatingTextBox = new System.Windows.Forms.TextBox(); this.jobsTextBox = new System.Windows.Forms.TextBox(); this.finishedLabel = new System.Windows.Forms.Label(); this.calculatingLabel = new System.Windows.Forms.Label(); this.jobsLabel = new System.Windows.Forms.Label(); this.tabControl.SuspendLayout(); this.experimentTabPage.SuspendLayout(); this.jobsTabPage.SuspendLayout(); this.logTabPage.SuspendLayout(); this.infoGroupBox.SuspendLayout(); this.SuspendLayout(); // // tabControl // this.tabControl.Anchor = ((System.Windows.Forms.AnchorStyles)((((System.Windows.Forms.AnchorStyles.Top | System.Windows.Forms.AnchorStyles.Bottom) | System.Windows.Forms.AnchorStyles.Left) | System.Windows.Forms.AnchorStyles.Right))); this.tabControl.Controls.Add(this.experimentTabPage); this.tabControl.Controls.Add(this.jobsTabPage); this.tabControl.Controls.Add(this.logTabPage); this.tabControl.Location = new System.Drawing.Point(0, 78); this.tabControl.Name = "tabControl"; this.tabControl.SelectedIndex = 0; this.tabControl.Size = new System.Drawing.Size(821, 520); this.tabControl.TabIndex = 4; // // experimentTabPage // this.experimentTabPage.Controls.Add(this.openExperimentButton); this.experimentTabPage.Controls.Add(this.newExperimentButton); this.experimentTabPage.Controls.Add(this.experimentNamedItemView); this.experimentTabPage.Controls.Add(this.viewExperimentButton); this.experimentTabPage.Location = new System.Drawing.Point(4, 22); this.experimentTabPage.Name = "experimentTabPage"; this.experimentTabPage.Padding = new System.Windows.Forms.Padding(3); this.experimentTabPage.Size = new System.Drawing.Size(813, 494); this.experimentTabPage.TabIndex = 1; this.experimentTabPage.Text = "Experiment"; this.experimentTabPage.UseVisualStyleBackColor = true; // // openExperimentButton // this.openExperimentButton.Image = ((System.Drawing.Image)(resources.GetObject("openExperimentButton.Image"))); this.openExperimentButton.Location = new System.Drawing.Point(36, 6); this.openExperimentButton.Name = "openExperimentButton"; this.openExperimentButton.Size = new System.Drawing.Size(24, 24); this.openExperimentButton.TabIndex = 5; this.toolTip.SetToolTip(this.openExperimentButton, "Open Experiment"); this.openExperimentButton.UseVisualStyleBackColor = true; this.openExperimentButton.Click += new System.EventHandler(this.openExperimentButton_Click); // // newExperimentButton // this.newExperimentButton.Image = ((System.Drawing.Image)(resources.GetObject("newExperimentButton.Image"))); this.newExperimentButton.Location = new System.Drawing.Point(6, 6); this.newExperimentButton.Name = "newExperimentButton"; this.newExperimentButton.Size = new System.Drawing.Size(24, 24); this.newExperimentButton.TabIndex = 4; this.toolTip.SetToolTip(this.newExperimentButton, "New Experiment"); this.newExperimentButton.UseVisualStyleBackColor = true; this.newExperimentButton.Click += new System.EventHandler(this.newExperimentButton_Click); // // experimentNamedItemView // this.experimentNamedItemView.Anchor = ((System.Windows.Forms.AnchorStyles)(((System.Windows.Forms.AnchorStyles.Top | System.Windows.Forms.AnchorStyles.Left) | System.Windows.Forms.AnchorStyles.Right))); this.experimentNamedItemView.Caption = "NamedItem View"; this.experimentNamedItemView.Content = null; this.experimentNamedItemView.Location = new System.Drawing.Point(2, 36); this.experimentNamedItemView.Name = "experimentNamedItemView"; this.experimentNamedItemView.ReadOnly = false; this.experimentNamedItemView.Size = new System.Drawing.Size(808, 26); this.experimentNamedItemView.TabIndex = 3; // // viewExperimentButton // this.viewExperimentButton.Anchor = ((System.Windows.Forms.AnchorStyles)(((System.Windows.Forms.AnchorStyles.Top | System.Windows.Forms.AnchorStyles.Left) | System.Windows.Forms.AnchorStyles.Right))); this.viewExperimentButton.Location = new System.Drawing.Point(3, 64); this.viewExperimentButton.Name = "viewExperimentButton"; this.viewExperimentButton.Size = new System.Drawing.Size(804, 23); this.viewExperimentButton.TabIndex = 1; this.viewExperimentButton.Text = "&Show Experiment"; this.viewExperimentButton.UseVisualStyleBackColor = true; this.viewExperimentButton.Click += new System.EventHandler(this.viewExperimentButton_Click); // // jobsTabPage // this.jobsTabPage.Controls.Add(this.jobsTreeView); this.jobsTabPage.Location = new System.Drawing.Point(4, 22); this.jobsTabPage.Name = "jobsTabPage"; this.jobsTabPage.Size = new System.Drawing.Size(813, 494); this.jobsTabPage.TabIndex = 5; this.jobsTabPage.Text = "Jobs"; this.jobsTabPage.UseVisualStyleBackColor = true; // // jobsTreeView // this.jobsTreeView.Anchor = ((System.Windows.Forms.AnchorStyles)((((System.Windows.Forms.AnchorStyles.Top | System.Windows.Forms.AnchorStyles.Bottom) | System.Windows.Forms.AnchorStyles.Left) | System.Windows.Forms.AnchorStyles.Right))); this.jobsTreeView.Caption = "ItemTree View"; this.jobsTreeView.Content = null; this.jobsTreeView.Location = new System.Drawing.Point(2, 3); this.jobsTreeView.Name = "jobsTreeView"; this.jobsTreeView.ReadOnly = false; this.jobsTreeView.Size = new System.Drawing.Size(808, 488); this.jobsTreeView.TabIndex = 0; // // logTabPage // this.logTabPage.Controls.Add(this.logView); this.logTabPage.Location = new System.Drawing.Point(4, 22); this.logTabPage.Name = "logTabPage"; this.logTabPage.Size = new System.Drawing.Size(813, 494); this.logTabPage.TabIndex = 3; this.logTabPage.Text = "Log"; this.logTabPage.UseVisualStyleBackColor = true; // // logView // this.logView.Caption = "Log View"; this.logView.Content = null; this.logView.Dock = System.Windows.Forms.DockStyle.Fill; this.logView.Location = new System.Drawing.Point(0, 0); this.logView.Name = "logView"; this.logView.ReadOnly = false; this.logView.Size = new System.Drawing.Size(801, 494); this.logView.TabIndex = 0; // // startButton // this.startButton.Anchor = ((System.Windows.Forms.AnchorStyles)((System.Windows.Forms.AnchorStyles.Bottom | System.Windows.Forms.AnchorStyles.Left))); this.startButton.Image = ((System.Drawing.Image)(resources.GetObject("startButton.Image"))); this.startButton.Location = new System.Drawing.Point(0, 604); this.startButton.Name = "startButton"; this.startButton.Size = new System.Drawing.Size(24, 24); this.startButton.TabIndex = 5; this.toolTip.SetToolTip(this.startButton, "Start/Resume Experiment"); this.startButton.UseVisualStyleBackColor = true; this.startButton.Click += new System.EventHandler(this.startButton_Click); // // stopButton // this.stopButton.Anchor = ((System.Windows.Forms.AnchorStyles)((System.Windows.Forms.AnchorStyles.Bottom | System.Windows.Forms.AnchorStyles.Left))); this.stopButton.Image = ((System.Drawing.Image)(resources.GetObject("stopButton.Image"))); this.stopButton.Location = new System.Drawing.Point(60, 604); this.stopButton.Name = "stopButton"; this.stopButton.Size = new System.Drawing.Size(24, 24); this.stopButton.TabIndex = 7; this.toolTip.SetToolTip(this.stopButton, "Stop Experiment"); this.stopButton.UseVisualStyleBackColor = true; this.stopButton.Click += new System.EventHandler(this.stopButton_Click); // // resetButton // this.resetButton.Anchor = ((System.Windows.Forms.AnchorStyles)((System.Windows.Forms.AnchorStyles.Bottom | System.Windows.Forms.AnchorStyles.Left))); this.resetButton.Enabled = false; this.resetButton.Image = ((System.Drawing.Image)(resources.GetObject("resetButton.Image"))); this.resetButton.Location = new System.Drawing.Point(90, 604); this.resetButton.Name = "resetButton"; this.resetButton.Size = new System.Drawing.Size(24, 24); this.resetButton.TabIndex = 8; this.toolTip.SetToolTip(this.resetButton, "Reset Experiment"); this.resetButton.UseVisualStyleBackColor = true; this.resetButton.Click += new System.EventHandler(this.resetButton_Click); // // executionTimeLabel // this.executionTimeLabel.Anchor = ((System.Windows.Forms.AnchorStyles)((System.Windows.Forms.AnchorStyles.Bottom | System.Windows.Forms.AnchorStyles.Right))); this.executionTimeLabel.AutoSize = true; this.executionTimeLabel.Location = new System.Drawing.Point(595, 611); this.executionTimeLabel.Name = "executionTimeLabel"; this.executionTimeLabel.Size = new System.Drawing.Size(83, 13); this.executionTimeLabel.TabIndex = 9; this.executionTimeLabel.Text = "&Execution Time:"; // // executionTimeTextBox // this.executionTimeTextBox.Anchor = ((System.Windows.Forms.AnchorStyles)((System.Windows.Forms.AnchorStyles.Bottom | System.Windows.Forms.AnchorStyles.Right))); this.executionTimeTextBox.Location = new System.Drawing.Point(684, 608); this.executionTimeTextBox.Name = "executionTimeTextBox"; this.executionTimeTextBox.ReadOnly = true; this.executionTimeTextBox.Size = new System.Drawing.Size(137, 20); this.executionTimeTextBox.TabIndex = 10; // // pauseButton // this.pauseButton.Anchor = ((System.Windows.Forms.AnchorStyles)((System.Windows.Forms.AnchorStyles.Bottom | System.Windows.Forms.AnchorStyles.Left))); this.pauseButton.Enabled = false; this.pauseButton.Image = ((System.Drawing.Image)(resources.GetObject("pauseButton.Image"))); this.pauseButton.Location = new System.Drawing.Point(30, 604); this.pauseButton.Name = "pauseButton"; this.pauseButton.Size = new System.Drawing.Size(24, 24); this.pauseButton.TabIndex = 6; this.toolTip.SetToolTip(this.pauseButton, "Pause Experiment"); this.pauseButton.UseVisualStyleBackColor = true; this.pauseButton.Click += new System.EventHandler(this.pauseButton_Click); // // resourceIdsLabel // this.resourceIdsLabel.AutoSize = true; this.resourceIdsLabel.Location = new System.Drawing.Point(4, 56); this.resourceIdsLabel.Name = "resourceIdsLabel"; this.resourceIdsLabel.Size = new System.Drawing.Size(70, 13); this.resourceIdsLabel.TabIndex = 12; this.resourceIdsLabel.Text = "ResourceIds:"; // // resourceNamesTextBox // this.resourceNamesTextBox.Anchor = ((System.Windows.Forms.AnchorStyles)(((System.Windows.Forms.AnchorStyles.Top | System.Windows.Forms.AnchorStyles.Left) | System.Windows.Forms.AnchorStyles.Right))); this.resourceNamesTextBox.Location = new System.Drawing.Point(73, 53); this.resourceNamesTextBox.Name = "resourceNamesTextBox"; this.resourceNamesTextBox.Size = new System.Drawing.Size(494, 20); this.resourceNamesTextBox.TabIndex = 14; this.resourceNamesTextBox.Validated += new System.EventHandler(this.resourceNamesTextBox_Validated); // // useLocalPluginsCheckBox // this.useLocalPluginsCheckBox.Anchor = ((System.Windows.Forms.AnchorStyles)((System.Windows.Forms.AnchorStyles.Top | System.Windows.Forms.AnchorStyles.Right))); this.useLocalPluginsCheckBox.AutoSize = true; this.useLocalPluginsCheckBox.Location = new System.Drawing.Point(573, 56); this.useLocalPluginsCheckBox.Name = "useLocalPluginsCheckBox"; this.useLocalPluginsCheckBox.Size = new System.Drawing.Size(105, 17); this.useLocalPluginsCheckBox.TabIndex = 19; this.useLocalPluginsCheckBox.Text = "UseLocalPlugins"; this.useLocalPluginsCheckBox.UseVisualStyleBackColor = true; this.useLocalPluginsCheckBox.CheckedChanged += new System.EventHandler(this.useLocalPluginsCheckBox_CheckedChanged); // // nameLabel // this.nameLabel.AutoSize = true; this.nameLabel.Location = new System.Drawing.Point(1, 27); this.nameLabel.Name = "nameLabel"; this.nameLabel.Size = new System.Drawing.Size(38, 13); this.nameLabel.TabIndex = 20; this.nameLabel.Text = "Name:"; // // nameTextBox // this.nameTextBox.Anchor = ((System.Windows.Forms.AnchorStyles)(((System.Windows.Forms.AnchorStyles.Top | System.Windows.Forms.AnchorStyles.Left) | System.Windows.Forms.AnchorStyles.Right))); this.nameTextBox.Location = new System.Drawing.Point(73, 27); this.nameTextBox.Name = "nameTextBox"; this.nameTextBox.Size = new System.Drawing.Size(605, 20); this.nameTextBox.TabIndex = 21; this.nameTextBox.Validated += new System.EventHandler(this.nameTextBox_Validated); // // refreshButton // this.refreshButton.Image = ((System.Drawing.Image)(resources.GetObject("refreshButton.Image"))); this.refreshButton.Location = new System.Drawing.Point(3, 0); this.refreshButton.Name = "refreshButton"; this.refreshButton.Size = new System.Drawing.Size(24, 24); this.refreshButton.TabIndex = 22; this.toolTip.SetToolTip(this.refreshButton, "Refresh Data"); this.refreshButton.UseVisualStyleBackColor = true; this.refreshButton.Click += new System.EventHandler(this.refreshButton_Click); // // refreshAutomaticallyCheckBox // this.refreshAutomaticallyCheckBox.AutoSize = true; this.refreshAutomaticallyCheckBox.Location = new System.Drawing.Point(30, 5); this.refreshAutomaticallyCheckBox.Name = "refreshAutomaticallyCheckBox"; this.refreshAutomaticallyCheckBox.Size = new System.Drawing.Size(128, 17); this.refreshAutomaticallyCheckBox.TabIndex = 24; this.refreshAutomaticallyCheckBox.Text = "&Refresh Automatically"; this.refreshAutomaticallyCheckBox.UseVisualStyleBackColor = true; this.refreshAutomaticallyCheckBox.CheckedChanged += new System.EventHandler(this.refreshAutomaticallyCheckBox_CheckedChanged); // // infoGroupBox // this.infoGroupBox.Anchor = ((System.Windows.Forms.AnchorStyles)((System.Windows.Forms.AnchorStyles.Top | System.Windows.Forms.AnchorStyles.Right))); this.infoGroupBox.Controls.Add(this.finishedTextBox); this.infoGroupBox.Controls.Add(this.calculatingTextBox); this.infoGroupBox.Controls.Add(this.jobsTextBox); this.infoGroupBox.Controls.Add(this.finishedLabel); this.infoGroupBox.Controls.Add(this.calculatingLabel); this.infoGroupBox.Controls.Add(this.jobsLabel); this.infoGroupBox.Location = new System.Drawing.Point(684, 5); this.infoGroupBox.Name = "infoGroupBox"; this.infoGroupBox.Size = new System.Drawing.Size(133, 89); this.infoGroupBox.TabIndex = 25; this.infoGroupBox.TabStop = false; this.infoGroupBox.Text = "Info"; // // finishedTextBox // this.finishedTextBox.Anchor = ((System.Windows.Forms.AnchorStyles)(((System.Windows.Forms.AnchorStyles.Top | System.Windows.Forms.AnchorStyles.Left) | System.Windows.Forms.AnchorStyles.Right))); this.finishedTextBox.Location = new System.Drawing.Point(74, 64); this.finishedTextBox.Name = "finishedTextBox"; this.finishedTextBox.Size = new System.Drawing.Size(53, 20); this.finishedTextBox.TabIndex = 5; // // calculatingTextBox // this.calculatingTextBox.Anchor = ((System.Windows.Forms.AnchorStyles)(((System.Windows.Forms.AnchorStyles.Top | System.Windows.Forms.AnchorStyles.Left) | System.Windows.Forms.AnchorStyles.Right))); this.calculatingTextBox.Location = new System.Drawing.Point(74, 40); this.calculatingTextBox.Name = "calculatingTextBox"; this.calculatingTextBox.Size = new System.Drawing.Size(53, 20); this.calculatingTextBox.TabIndex = 4; // // jobsTextBox // this.jobsTextBox.Anchor = ((System.Windows.Forms.AnchorStyles)(((System.Windows.Forms.AnchorStyles.Top | System.Windows.Forms.AnchorStyles.Left) | System.Windows.Forms.AnchorStyles.Right))); this.jobsTextBox.Location = new System.Drawing.Point(74, 16); this.jobsTextBox.Name = "jobsTextBox"; this.jobsTextBox.Size = new System.Drawing.Size(53, 20); this.jobsTextBox.TabIndex = 3; // // finishedLabel // this.finishedLabel.AutoSize = true; this.finishedLabel.Location = new System.Drawing.Point(6, 67); this.finishedLabel.Name = "finishedLabel"; this.finishedLabel.Size = new System.Drawing.Size(49, 13); this.finishedLabel.TabIndex = 2; this.finishedLabel.Text = "Finished:"; // // calculatingLabel // this.calculatingLabel.AutoSize = true; this.calculatingLabel.Location = new System.Drawing.Point(6, 43); this.calculatingLabel.Name = "calculatingLabel"; this.calculatingLabel.Size = new System.Drawing.Size(62, 13); this.calculatingLabel.TabIndex = 1; this.calculatingLabel.Text = "Calculating:"; // // jobsLabel // this.jobsLabel.AutoSize = true; this.jobsLabel.Location = new System.Drawing.Point(6, 19); this.jobsLabel.Name = "jobsLabel"; this.jobsLabel.Size = new System.Drawing.Size(32, 13); this.jobsLabel.TabIndex = 0; this.jobsLabel.Text = "Jobs:"; // // HiveExperimentView // this.AutoScaleDimensions = new System.Drawing.SizeF(6F, 13F); this.AutoScaleMode = System.Windows.Forms.AutoScaleMode.Font; this.Controls.Add(this.infoGroupBox); this.Controls.Add(this.refreshAutomaticallyCheckBox); this.Controls.Add(this.refreshButton); this.Controls.Add(this.nameTextBox); this.Controls.Add(this.nameLabel); this.Controls.Add(this.tabControl); this.Controls.Add(this.startButton); this.Controls.Add(this.executionTimeTextBox); this.Controls.Add(this.executionTimeLabel); this.Controls.Add(this.resourceNamesTextBox); this.Controls.Add(this.pauseButton); this.Controls.Add(this.resourceIdsLabel); this.Controls.Add(this.stopButton); this.Controls.Add(this.useLocalPluginsCheckBox); this.Controls.Add(this.resetButton); this.Name = "HiveExperimentView"; this.Size = new System.Drawing.Size(821, 628); this.tabControl.ResumeLayout(false); this.experimentTabPage.ResumeLayout(false); this.jobsTabPage.ResumeLayout(false); this.logTabPage.ResumeLayout(false); this.infoGroupBox.ResumeLayout(false); this.infoGroupBox.PerformLayout(); this.ResumeLayout(false); this.PerformLayout(); } #endregion private System.Windows.Forms.TabControl tabControl; private System.Windows.Forms.TabPage experimentTabPage; private System.Windows.Forms.Button startButton; private System.Windows.Forms.Button stopButton; private System.Windows.Forms.Button resetButton; private System.Windows.Forms.Label executionTimeLabel; private System.Windows.Forms.TextBox executionTimeTextBox; private System.Windows.Forms.Button pauseButton; private System.Windows.Forms.Label resourceIdsLabel; private System.Windows.Forms.TextBox resourceNamesTextBox; private System.Windows.Forms.Button viewExperimentButton; private Core.Views.NamedItemView experimentNamedItemView; private System.Windows.Forms.TabPage logTabPage; private Core.Views.LogView logView; private System.Windows.Forms.Button openExperimentButton; private System.Windows.Forms.Button newExperimentButton; private System.Windows.Forms.CheckBox useLocalPluginsCheckBox; private System.Windows.Forms.TabPage jobsTabPage; private ItemTreeView jobsTreeView; private System.Windows.Forms.Label nameLabel; private System.Windows.Forms.TextBox nameTextBox; private System.Windows.Forms.ToolTip toolTip; private System.Windows.Forms.Button refreshButton; private System.Windows.Forms.CheckBox refreshAutomaticallyCheckBox; private System.Windows.Forms.GroupBox infoGroupBox; private System.Windows.Forms.TextBox finishedTextBox; private System.Windows.Forms.TextBox calculatingTextBox; private System.Windows.Forms.TextBox jobsTextBox; private System.Windows.Forms.Label finishedLabel; private System.Windows.Forms.Label calculatingLabel; private System.Windows.Forms.Label jobsLabel; } }