Free cookie consent management tool by TermsFeed Policy Generator

source: branches/HeuristicLab.Hive_Milestone3/sources/HeuristicLab.Communication.Data/3.2/ProtocolEditor.Designer.cs @ 6593

Last change on this file since 6593 was 1529, checked in by gkronber, 16 years ago

Moved source files of plugins AdvancedOptimizationFrontEnd ... Grid into version-specific sub-folders. #576

File size: 8.3 KB
Line 
1#region License Information
2/* HeuristicLab
3 * Copyright (C) 2002-2008 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.Communication.Data {
23  partial class ProtocolEditor {
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 && (components != null)) {
35        components.Dispose();
36      }
37      if (Protocol != null) Protocol.Changed -= new System.EventHandler(Protocol_Changed);
38      base.Dispose(disposing);
39    }
40
41    #region Windows Form Designer generated code
42
43    /// <summary>
44    /// Required method for Designer support - do not modify
45    /// the contents of this method with the code editor.
46    /// </summary>
47    private void InitializeComponent() {
48      this.protocolNameLabel = new System.Windows.Forms.Label();
49      this.protocolStatesLabel = new System.Windows.Forms.Label();
50      this.statesListBox = new System.Windows.Forms.ListBox();
51      this.stateChartPictureBox = new System.Windows.Forms.PictureBox();
52      this.addStateButton = new System.Windows.Forms.Button();
53      this.removeStateButton = new System.Windows.Forms.Button();
54      this.nameTextBox = new System.Windows.Forms.TextBox();
55      this.setAsInitialStateButton = new System.Windows.Forms.Button();
56      ((System.ComponentModel.ISupportInitialize)(this.stateChartPictureBox)).BeginInit();
57      this.SuspendLayout();
58      //
59      // protocolNameLabel
60      //
61      this.protocolNameLabel.AutoSize = true;
62      this.protocolNameLabel.Location = new System.Drawing.Point(3, 6);
63      this.protocolNameLabel.Name = "protocolNameLabel";
64      this.protocolNameLabel.Size = new System.Drawing.Size(80, 13);
65      this.protocolNameLabel.TabIndex = 3;
66      this.protocolNameLabel.Text = "Protocol Name:";
67      //
68      // protocolStatesLabel
69      //
70      this.protocolStatesLabel.AutoSize = true;
71      this.protocolStatesLabel.Location = new System.Drawing.Point(3, 32);
72      this.protocolStatesLabel.Name = "protocolStatesLabel";
73      this.protocolStatesLabel.Size = new System.Drawing.Size(82, 13);
74      this.protocolStatesLabel.TabIndex = 8;
75      this.protocolStatesLabel.Text = "Protocol States:";
76      //
77      // statesListBox
78      //
79      this.statesListBox.Anchor = ((System.Windows.Forms.AnchorStyles)(((System.Windows.Forms.AnchorStyles.Top | System.Windows.Forms.AnchorStyles.Bottom)
80                  | System.Windows.Forms.AnchorStyles.Left)));
81      this.statesListBox.FormattingEnabled = true;
82      this.statesListBox.Location = new System.Drawing.Point(6, 48);
83      this.statesListBox.MultiColumn = true;
84      this.statesListBox.Name = "statesListBox";
85      this.statesListBox.Size = new System.Drawing.Size(159, 303);
86      this.statesListBox.TabIndex = 10;
87      this.statesListBox.SelectedIndexChanged += new System.EventHandler(this.statesListBox_SelectedIndexChanged);
88      this.statesListBox.DoubleClick += new System.EventHandler(this.statesListBox_DoubleClick);
89      //
90      // stateChartPictureBox
91      //
92      this.stateChartPictureBox.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.stateChartPictureBox.BorderStyle = System.Windows.Forms.BorderStyle.Fixed3D;
96      this.stateChartPictureBox.Location = new System.Drawing.Point(172, 48);
97      this.stateChartPictureBox.Name = "stateChartPictureBox";
98      this.stateChartPictureBox.Size = new System.Drawing.Size(444, 303);
99      this.stateChartPictureBox.TabIndex = 11;
100      this.stateChartPictureBox.TabStop = false;
101      //
102      // addStateButton
103      //
104      this.addStateButton.Anchor = ((System.Windows.Forms.AnchorStyles)((System.Windows.Forms.AnchorStyles.Bottom | System.Windows.Forms.AnchorStyles.Left)));
105      this.addStateButton.Location = new System.Drawing.Point(6, 357);
106      this.addStateButton.Name = "addStateButton";
107      this.addStateButton.Size = new System.Drawing.Size(77, 23);
108      this.addStateButton.TabIndex = 12;
109      this.addStateButton.Text = "Add";
110      this.addStateButton.UseVisualStyleBackColor = true;
111      this.addStateButton.Click += new System.EventHandler(this.addStateButton_Click);
112      //
113      // removeStateButton
114      //
115      this.removeStateButton.Anchor = ((System.Windows.Forms.AnchorStyles)((System.Windows.Forms.AnchorStyles.Bottom | System.Windows.Forms.AnchorStyles.Left)));
116      this.removeStateButton.Location = new System.Drawing.Point(89, 357);
117      this.removeStateButton.Name = "removeStateButton";
118      this.removeStateButton.Size = new System.Drawing.Size(75, 23);
119      this.removeStateButton.TabIndex = 13;
120      this.removeStateButton.Text = "Remove";
121      this.removeStateButton.UseVisualStyleBackColor = true;
122      this.removeStateButton.Click += new System.EventHandler(this.removeStateButton_Click);
123      //
124      // nameTextBox
125      //
126      this.nameTextBox.Location = new System.Drawing.Point(89, 3);
127      this.nameTextBox.Name = "nameTextBox";
128      this.nameTextBox.Size = new System.Drawing.Size(142, 20);
129      this.nameTextBox.TabIndex = 14;
130      //
131      // setAsInitialStateButton
132      //
133      this.setAsInitialStateButton.Anchor = ((System.Windows.Forms.AnchorStyles)((System.Windows.Forms.AnchorStyles.Bottom | System.Windows.Forms.AnchorStyles.Left)));
134      this.setAsInitialStateButton.Location = new System.Drawing.Point(170, 357);
135      this.setAsInitialStateButton.Name = "setAsInitialStateButton";
136      this.setAsInitialStateButton.Size = new System.Drawing.Size(75, 23);
137      this.setAsInitialStateButton.TabIndex = 15;
138      this.setAsInitialStateButton.Text = "Set Initital";
139      this.setAsInitialStateButton.UseVisualStyleBackColor = true;
140      this.setAsInitialStateButton.Click += new System.EventHandler(this.setAsInitialStateButton_Click);
141      //
142      // ProtocolEditor
143      //
144      this.AutoScaleDimensions = new System.Drawing.SizeF(6F, 13F);
145      this.AutoScaleMode = System.Windows.Forms.AutoScaleMode.Font;
146      this.Controls.Add(this.setAsInitialStateButton);
147      this.Controls.Add(this.nameTextBox);
148      this.Controls.Add(this.removeStateButton);
149      this.Controls.Add(this.addStateButton);
150      this.Controls.Add(this.stateChartPictureBox);
151      this.Controls.Add(this.statesListBox);
152      this.Controls.Add(this.protocolStatesLabel);
153      this.Controls.Add(this.protocolNameLabel);
154      this.Name = "ProtocolEditor";
155      this.Size = new System.Drawing.Size(619, 389);
156      ((System.ComponentModel.ISupportInitialize)(this.stateChartPictureBox)).EndInit();
157      this.ResumeLayout(false);
158      this.PerformLayout();
159
160    }
161
162    #endregion
163
164    private System.Windows.Forms.Label protocolNameLabel;
165    private System.Windows.Forms.Label protocolStatesLabel;
166    private System.Windows.Forms.ListBox statesListBox;
167    private System.Windows.Forms.PictureBox stateChartPictureBox;
168    private System.Windows.Forms.Button addStateButton;
169    private System.Windows.Forms.Button removeStateButton;
170    private System.Windows.Forms.TextBox nameTextBox;
171    private System.Windows.Forms.Button setAsInitialStateButton;
172  }
173}
Note: See TracBrowser for help on using the repository browser.