namespace TclShell
{
partial class MainForm
{
///
/// 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();
}
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.components = new System.ComponentModel.Container();
this.hostNameTextBox = new System.Windows.Forms.TextBox();
this.portTextBox = new System.Windows.Forms.TextBox();
this.label1 = new System.Windows.Forms.Label();
this.label2 = new System.Windows.Forms.Label();
this.connectButton = new System.Windows.Forms.Button();
this.pingCheckBox = new System.Windows.Forms.CheckBox();
this.newWindowButton = new System.Windows.Forms.Button();
this.pingStatusLabel = new System.Windows.Forms.Label();
this.pingTimer = new System.Windows.Forms.Timer(this.components);
this.flexResponseTextBox = new System.Windows.Forms.TextBox();
this.backgroundChannelNameTextBox = new System.Windows.Forms.TextBox();
this.backgroundChannelScriptTextBox = new System.Windows.Forms.TextBox();
this.virtualNameComboBox = new System.Windows.Forms.ComboBox();
this.reloaderButton = new System.Windows.Forms.Button();
this.SuspendLayout();
//
// hostNameTextBox
//
this.hostNameTextBox.Location = new System.Drawing.Point(156, 23);
this.hostNameTextBox.Margin = new System.Windows.Forms.Padding(6, 6, 6, 6);
this.hostNameTextBox.Name = "hostNameTextBox";
this.hostNameTextBox.Size = new System.Drawing.Size(196, 31);
this.hostNameTextBox.TabIndex = 0;
this.hostNameTextBox.Text = "127.0.0.1";
this.hostNameTextBox.TextChanged += new System.EventHandler(this.hostNameTextBox_TextChanged);
//
// portTextBox
//
this.portTextBox.Location = new System.Drawing.Point(156, 73);
this.portTextBox.Margin = new System.Windows.Forms.Padding(6, 6, 6, 6);
this.portTextBox.Name = "portTextBox";
this.portTextBox.Size = new System.Drawing.Size(196, 31);
this.portTextBox.TabIndex = 1;
this.portTextBox.Text = "9370";
this.portTextBox.TextChanged += new System.EventHandler(this.hostNameTextBox_TextChanged);
//
// label1
//
this.label1.AutoSize = true;
this.label1.Location = new System.Drawing.Point(24, 29);
this.label1.Margin = new System.Windows.Forms.Padding(6, 0, 6, 0);
this.label1.Name = "label1";
this.label1.Size = new System.Drawing.Size(118, 25);
this.label1.TabIndex = 2;
this.label1.Text = "Host Name";
//
// label2
//
this.label2.AutoSize = true;
this.label2.Location = new System.Drawing.Point(92, 79);
this.label2.Margin = new System.Windows.Forms.Padding(6, 0, 6, 0);
this.label2.Name = "label2";
this.label2.Size = new System.Drawing.Size(51, 25);
this.label2.TabIndex = 3;
this.label2.Text = "Port";
//
// connectButton
//
this.connectButton.Location = new System.Drawing.Point(24, 123);
this.connectButton.Margin = new System.Windows.Forms.Padding(6, 6, 6, 6);
this.connectButton.Name = "connectButton";
this.connectButton.Size = new System.Drawing.Size(150, 44);
this.connectButton.TabIndex = 4;
this.connectButton.Text = "Connect";
this.connectButton.UseVisualStyleBackColor = true;
this.connectButton.Click += new System.EventHandler(this.connectButton_Click);
//
// pingCheckBox
//
this.pingCheckBox.AutoSize = true;
this.pingCheckBox.Checked = true;
this.pingCheckBox.CheckState = System.Windows.Forms.CheckState.Checked;
this.pingCheckBox.Location = new System.Drawing.Point(30, 179);
this.pingCheckBox.Margin = new System.Windows.Forms.Padding(6, 6, 6, 6);
this.pingCheckBox.Name = "pingCheckBox";
this.pingCheckBox.Size = new System.Drawing.Size(87, 29);
this.pingCheckBox.TabIndex = 5;
this.pingCheckBox.Text = "Ping";
this.pingCheckBox.UseVisualStyleBackColor = true;
this.pingCheckBox.CheckedChanged += new System.EventHandler(this.pingCheckBox_CheckedChanged);
//
// newWindowButton
//
this.newWindowButton.Location = new System.Drawing.Point(186, 123);
this.newWindowButton.Margin = new System.Windows.Forms.Padding(6, 6, 6, 6);
this.newWindowButton.Name = "newWindowButton";
this.newWindowButton.Size = new System.Drawing.Size(170, 44);
this.newWindowButton.TabIndex = 6;
this.newWindowButton.Text = "New Window";
this.newWindowButton.UseVisualStyleBackColor = true;
this.newWindowButton.Click += new System.EventHandler(this.newWindowButton_Click);
//
// pingStatusLabel
//
this.pingStatusLabel.AutoSize = true;
this.pingStatusLabel.Location = new System.Drawing.Point(136, 181);
this.pingStatusLabel.Margin = new System.Windows.Forms.Padding(6, 0, 6, 0);
this.pingStatusLabel.Name = "pingStatusLabel";
this.pingStatusLabel.Size = new System.Drawing.Size(144, 25);
this.pingStatusLabel.TabIndex = 7;
this.pingStatusLabel.Text = "No status yet.";
//
// pingTimer
//
this.pingTimer.Enabled = true;
this.pingTimer.Interval = 20000;
this.pingTimer.Tick += new System.EventHandler(this.pingTimer_Tick);
//
// flexResponseTextBox
//
this.flexResponseTextBox.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.flexResponseTextBox.Location = new System.Drawing.Point(24, 223);
this.flexResponseTextBox.Margin = new System.Windows.Forms.Padding(6, 6, 6, 6);
this.flexResponseTextBox.Multiline = true;
this.flexResponseTextBox.Name = "flexResponseTextBox";
this.flexResponseTextBox.ScrollBars = System.Windows.Forms.ScrollBars.Vertical;
this.flexResponseTextBox.Size = new System.Drawing.Size(1098, 362);
this.flexResponseTextBox.TabIndex = 8;
//
// backgroundChannelNameTextBox
//
this.backgroundChannelNameTextBox.Anchor = ((System.Windows.Forms.AnchorStyles)((System.Windows.Forms.AnchorStyles.Bottom | System.Windows.Forms.AnchorStyles.Left)));
this.backgroundChannelNameTextBox.Enabled = false;
this.backgroundChannelNameTextBox.Location = new System.Drawing.Point(24, 600);
this.backgroundChannelNameTextBox.Margin = new System.Windows.Forms.Padding(6, 6, 6, 6);
this.backgroundChannelNameTextBox.Name = "backgroundChannelNameTextBox";
this.backgroundChannelNameTextBox.ReadOnly = true;
this.backgroundChannelNameTextBox.Size = new System.Drawing.Size(530, 31);
this.backgroundChannelNameTextBox.TabIndex = 9;
this.backgroundChannelNameTextBox.Text = "disconnected";
//
// backgroundChannelScriptTextBox
//
this.backgroundChannelScriptTextBox.Anchor = ((System.Windows.Forms.AnchorStyles)((System.Windows.Forms.AnchorStyles.Bottom | System.Windows.Forms.AnchorStyles.Right)));
this.backgroundChannelScriptTextBox.Location = new System.Drawing.Point(570, 600);
this.backgroundChannelScriptTextBox.Margin = new System.Windows.Forms.Padding(6, 6, 6, 6);
this.backgroundChannelScriptTextBox.Name = "backgroundChannelScriptTextBox";
this.backgroundChannelScriptTextBox.ReadOnly = true;
this.backgroundChannelScriptTextBox.Size = new System.Drawing.Size(552, 31);
this.backgroundChannelScriptTextBox.TabIndex = 10;
this.backgroundChannelScriptTextBox.Text = "[set [ti::get_socket_temp_ns]::tcl_shell::channel]";
//
// virtualNameComboBox
//
this.virtualNameComboBox.DropDownStyle = System.Windows.Forms.ComboBoxStyle.DropDownList;
this.virtualNameComboBox.FormattingEnabled = true;
this.virtualNameComboBox.Location = new System.Drawing.Point(368, 23);
this.virtualNameComboBox.Margin = new System.Windows.Forms.Padding(6, 6, 6, 6);
this.virtualNameComboBox.Name = "virtualNameComboBox";
this.virtualNameComboBox.Size = new System.Drawing.Size(370, 33);
this.virtualNameComboBox.TabIndex = 11;
this.virtualNameComboBox.SelectedValueChanged += new System.EventHandler(this.virtualNameComboBox_SelectedValueChanged);
//
// reloaderButton
//
this.reloaderButton.Location = new System.Drawing.Point(368, 123);
this.reloaderButton.Margin = new System.Windows.Forms.Padding(6);
this.reloaderButton.Name = "reloaderButton";
this.reloaderButton.Size = new System.Drawing.Size(170, 44);
this.reloaderButton.TabIndex = 12;
this.reloaderButton.Text = "Reloader";
this.reloaderButton.UseVisualStyleBackColor = true;
this.reloaderButton.Click += new System.EventHandler(this.reloaderButton_Click);
//
// MainForm
//
this.AutoScaleDimensions = new System.Drawing.SizeF(12F, 25F);
this.AutoScaleMode = System.Windows.Forms.AutoScaleMode.Font;
this.ClientSize = new System.Drawing.Size(1150, 662);
this.Controls.Add(this.reloaderButton);
this.Controls.Add(this.virtualNameComboBox);
this.Controls.Add(this.backgroundChannelScriptTextBox);
this.Controls.Add(this.backgroundChannelNameTextBox);
this.Controls.Add(this.flexResponseTextBox);
this.Controls.Add(this.pingStatusLabel);
this.Controls.Add(this.newWindowButton);
this.Controls.Add(this.pingCheckBox);
this.Controls.Add(this.connectButton);
this.Controls.Add(this.label2);
this.Controls.Add(this.label1);
this.Controls.Add(this.portTextBox);
this.Controls.Add(this.hostNameTextBox);
this.Margin = new System.Windows.Forms.Padding(6, 6, 6, 6);
this.Name = "MainForm";
this.Text = "TCL Shell";
this.Resize += new System.EventHandler(this.MainForm_Resize);
this.ResumeLayout(false);
this.PerformLayout();
}
#endregion
private System.Windows.Forms.TextBox hostNameTextBox;
private System.Windows.Forms.TextBox portTextBox;
private System.Windows.Forms.Label label1;
private System.Windows.Forms.Label label2;
private System.Windows.Forms.Button connectButton;
private System.Windows.Forms.CheckBox pingCheckBox;
private System.Windows.Forms.Button newWindowButton;
private System.Windows.Forms.Label pingStatusLabel;
private System.Windows.Forms.Timer pingTimer;
private System.Windows.Forms.TextBox flexResponseTextBox;
private System.Windows.Forms.TextBox backgroundChannelNameTextBox;
private System.Windows.Forms.TextBox backgroundChannelScriptTextBox;
private System.Windows.Forms.ComboBox virtualNameComboBox;
private System.Windows.Forms.Button reloaderButton;
}
}