#region License Information /* HeuristicLab * Copyright (C) 2002-2008 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.Communication.Data { partial class ProtocolEditor { /// /// 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 && (components != null)) { components.Dispose(); } if (Protocol != null) Protocol.Changed -= new System.EventHandler(Protocol_Changed); base.Dispose(disposing); } #region Windows Form Designer generated code /// /// Required method for Designer support - do not modify /// the contents of this method with the code editor. /// private void InitializeComponent() { this.protocolNameLabel = new System.Windows.Forms.Label(); this.protocolStatesLabel = new System.Windows.Forms.Label(); this.statesListBox = new System.Windows.Forms.ListBox(); this.stateChartPictureBox = new System.Windows.Forms.PictureBox(); this.addStateButton = new System.Windows.Forms.Button(); this.removeStateButton = new System.Windows.Forms.Button(); this.nameTextBox = new System.Windows.Forms.TextBox(); this.setAsInitialStateButton = new System.Windows.Forms.Button(); ((System.ComponentModel.ISupportInitialize)(this.stateChartPictureBox)).BeginInit(); this.SuspendLayout(); // // protocolNameLabel // this.protocolNameLabel.AutoSize = true; this.protocolNameLabel.Location = new System.Drawing.Point(3, 6); this.protocolNameLabel.Name = "protocolNameLabel"; this.protocolNameLabel.Size = new System.Drawing.Size(80, 13); this.protocolNameLabel.TabIndex = 3; this.protocolNameLabel.Text = "Protocol Name:"; // // protocolStatesLabel // this.protocolStatesLabel.AutoSize = true; this.protocolStatesLabel.Location = new System.Drawing.Point(3, 32); this.protocolStatesLabel.Name = "protocolStatesLabel"; this.protocolStatesLabel.Size = new System.Drawing.Size(82, 13); this.protocolStatesLabel.TabIndex = 8; this.protocolStatesLabel.Text = "Protocol States:"; // // statesListBox // this.statesListBox.Anchor = ((System.Windows.Forms.AnchorStyles)(((System.Windows.Forms.AnchorStyles.Top | System.Windows.Forms.AnchorStyles.Bottom) | System.Windows.Forms.AnchorStyles.Left))); this.statesListBox.FormattingEnabled = true; this.statesListBox.Location = new System.Drawing.Point(6, 48); this.statesListBox.MultiColumn = true; this.statesListBox.Name = "statesListBox"; this.statesListBox.Size = new System.Drawing.Size(159, 303); this.statesListBox.TabIndex = 10; this.statesListBox.SelectedIndexChanged += new System.EventHandler(this.statesListBox_SelectedIndexChanged); this.statesListBox.DoubleClick += new System.EventHandler(this.statesListBox_DoubleClick); // // stateChartPictureBox // this.stateChartPictureBox.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.stateChartPictureBox.BorderStyle = System.Windows.Forms.BorderStyle.Fixed3D; this.stateChartPictureBox.Location = new System.Drawing.Point(172, 48); this.stateChartPictureBox.Name = "stateChartPictureBox"; this.stateChartPictureBox.Size = new System.Drawing.Size(444, 303); this.stateChartPictureBox.TabIndex = 11; this.stateChartPictureBox.TabStop = false; // // addStateButton // this.addStateButton.Anchor = ((System.Windows.Forms.AnchorStyles)((System.Windows.Forms.AnchorStyles.Bottom | System.Windows.Forms.AnchorStyles.Left))); this.addStateButton.Location = new System.Drawing.Point(6, 357); this.addStateButton.Name = "addStateButton"; this.addStateButton.Size = new System.Drawing.Size(77, 23); this.addStateButton.TabIndex = 12; this.addStateButton.Text = "Add"; this.addStateButton.UseVisualStyleBackColor = true; this.addStateButton.Click += new System.EventHandler(this.addStateButton_Click); // // removeStateButton // this.removeStateButton.Anchor = ((System.Windows.Forms.AnchorStyles)((System.Windows.Forms.AnchorStyles.Bottom | System.Windows.Forms.AnchorStyles.Left))); this.removeStateButton.Location = new System.Drawing.Point(89, 357); this.removeStateButton.Name = "removeStateButton"; this.removeStateButton.Size = new System.Drawing.Size(75, 23); this.removeStateButton.TabIndex = 13; this.removeStateButton.Text = "Remove"; this.removeStateButton.UseVisualStyleBackColor = true; this.removeStateButton.Click += new System.EventHandler(this.removeStateButton_Click); // // nameTextBox // this.nameTextBox.Location = new System.Drawing.Point(89, 3); this.nameTextBox.Name = "nameTextBox"; this.nameTextBox.Size = new System.Drawing.Size(142, 20); this.nameTextBox.TabIndex = 14; // // setAsInitialStateButton // this.setAsInitialStateButton.Anchor = ((System.Windows.Forms.AnchorStyles)((System.Windows.Forms.AnchorStyles.Bottom | System.Windows.Forms.AnchorStyles.Left))); this.setAsInitialStateButton.Location = new System.Drawing.Point(170, 357); this.setAsInitialStateButton.Name = "setAsInitialStateButton"; this.setAsInitialStateButton.Size = new System.Drawing.Size(75, 23); this.setAsInitialStateButton.TabIndex = 15; this.setAsInitialStateButton.Text = "Set Initital"; this.setAsInitialStateButton.UseVisualStyleBackColor = true; this.setAsInitialStateButton.Click += new System.EventHandler(this.setAsInitialStateButton_Click); // // ProtocolEditor // this.AutoScaleDimensions = new System.Drawing.SizeF(6F, 13F); this.AutoScaleMode = System.Windows.Forms.AutoScaleMode.Font; this.Controls.Add(this.setAsInitialStateButton); this.Controls.Add(this.nameTextBox); this.Controls.Add(this.removeStateButton); this.Controls.Add(this.addStateButton); this.Controls.Add(this.stateChartPictureBox); this.Controls.Add(this.statesListBox); this.Controls.Add(this.protocolStatesLabel); this.Controls.Add(this.protocolNameLabel); this.Name = "ProtocolEditor"; this.Size = new System.Drawing.Size(619, 389); ((System.ComponentModel.ISupportInitialize)(this.stateChartPictureBox)).EndInit(); this.ResumeLayout(false); this.PerformLayout(); } #endregion private System.Windows.Forms.Label protocolNameLabel; private System.Windows.Forms.Label protocolStatesLabel; private System.Windows.Forms.ListBox statesListBox; private System.Windows.Forms.PictureBox stateChartPictureBox; private System.Windows.Forms.Button addStateButton; private System.Windows.Forms.Button removeStateButton; private System.Windows.Forms.TextBox nameTextBox; private System.Windows.Forms.Button setAsInitialStateButton; } }