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; } }