An Object-oriented Approach to Finite State Automata

namespace FormsFSATest
{
	partial class Form1
	{
		/// <summary>
		/// Required designer variable.
		/// </summary>
		private System.ComponentModel.IContainer components = null;

		/// <summary>
		/// Clean up any resources being used.
		/// </summary>
		/// <param name="disposing">true if managed resources should be disposed; otherwise, false.</param>
		protected override void Dispose(bool disposing)
		{
			if (disposing && (components != null)) {
				components.Dispose();
			}
			base.Dispose(disposing);
		}

		#region Windows Form Designer generated code

		/// <summary>
		/// Required method for Designer support - do not modify
		/// the contents of this method with the code editor.
		/// </summary>
		private void InitializeComponent()
		{
			this.panelThing = new System.Windows.Forms.Panel();
			this.textState = new System.Windows.Forms.TextBox();
			this.SuspendLayout();
			// 
			// panelThing
			// 
			this.panelThing.BackColor = System.Drawing.SystemColors.ControlText;
			this.panelThing.Location = new System.Drawing.Point(107, 71);
			this.panelThing.Name = "panelThing";
			this.panelThing.Size = new System.Drawing.Size(173, 101);
			this.panelThing.TabIndex = 0;
			this.panelThing.MouseLeave += new System.EventHandler(this.panelThing_MouseLeave);
			this.panelThing.MouseMove += new System.Windows.Forms.MouseEventHandler(this.panelThing_MouseMove);
			this.panelThing.MouseDown += new System.Windows.Forms.MouseEventHandler(this.panelThing_MouseDown);
			this.panelThing.MouseUp += new System.Windows.Forms.MouseEventHandler(this.panelThing_MouseUp);
			this.panelThing.MouseEnter += new System.EventHandler(this.panelThing_MouseEnter);
			// 
			// textState
			// 
			this.textState.Location = new System.Drawing.Point(303, 51);
			this.textState.Multiline = true;
			this.textState.Name = "textState";
			this.textState.ScrollBars = System.Windows.Forms.ScrollBars.Vertical;
			this.textState.Size = new System.Drawing.Size(163, 194);
			this.textState.TabIndex = 1;
			// 
			// Form1
			// 
			this.AutoScaleDimensions = new System.Drawing.SizeF(6F, 13F);
			this.AutoScaleMode = System.Windows.Forms.AutoScaleMode.Font;
			this.ClientSize = new System.Drawing.Size(502, 294);
			this.Controls.Add(this.textState);
			this.Controls.Add(this.panelThing);
			this.Name = "Form1";
			this.Text = "Form1";
			this.ResumeLayout(false);
			this.PerformLayout();

		}

		#endregion

		private System.Windows.Forms.Panel panelThing;
		private System.Windows.Forms.TextBox textState;

	}
}