aboutsummaryrefslogtreecommitdiff
path: root/Project Ports/Programs/Terminal.Designer.cs
diff options
context:
space:
mode:
Diffstat (limited to 'Project Ports/Programs/Terminal.Designer.cs')
-rw-r--r--Project Ports/Programs/Terminal.Designer.cs48
1 files changed, 13 insertions, 35 deletions
diff --git a/Project Ports/Programs/Terminal.Designer.cs b/Project Ports/Programs/Terminal.Designer.cs
index c5c2807..0fad0a5 100644
--- a/Project Ports/Programs/Terminal.Designer.cs
+++ b/Project Ports/Programs/Terminal.Designer.cs
@@ -28,55 +28,33 @@
/// </summary>
private void InitializeComponent()
{
- this.txtConsole = new System.Windows.Forms.TextBox();
- this.txtInput = new System.Windows.Forms.TextBox();
+ this.terminalControl = new ConsoleControl.ConsoleControl();
this.SuspendLayout();
//
- // txtConsole
+ // terminalControl
//
- this.txtConsole.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.txtConsole.BackColor = System.Drawing.Color.Black;
- this.txtConsole.BorderStyle = System.Windows.Forms.BorderStyle.None;
- this.txtConsole.Font = new System.Drawing.Font("Consolas", 12F, System.Drawing.FontStyle.Regular, System.Drawing.GraphicsUnit.Point, ((byte)(0)));
- this.txtConsole.ForeColor = System.Drawing.Color.White;
- this.txtConsole.Location = new System.Drawing.Point(-3, 0);
- this.txtConsole.Multiline = true;
- this.txtConsole.Name = "txtConsole";
- this.txtConsole.ReadOnly = true;
- this.txtConsole.ScrollBars = System.Windows.Forms.ScrollBars.Vertical;
- this.txtConsole.Size = new System.Drawing.Size(456, 321);
- this.txtConsole.TabIndex = 3;
- //
- // txtInput
- //
- this.txtInput.BackColor = System.Drawing.SystemColors.WindowText;
- this.txtInput.Font = new System.Drawing.Font("Lucida Console", 8F);
- this.txtInput.ForeColor = System.Drawing.SystemColors.Window;
- this.txtInput.Location = new System.Drawing.Point(0, 319);
- this.txtInput.Name = "txtInput";
- this.txtInput.Size = new System.Drawing.Size(456, 18);
- this.txtInput.TabIndex = 4;
- this.txtInput.KeyDown += new System.Windows.Forms.KeyEventHandler(this.txtInput_KeyDown);
+ this.terminalControl.IsInputEnabled = true;
+ this.terminalControl.Location = new System.Drawing.Point(0, 0);
+ this.terminalControl.Name = "terminalControl";
+ this.terminalControl.SendKeyboardCommandsToProcess = false;
+ this.terminalControl.ShowDiagnostics = false;
+ this.terminalControl.Size = new System.Drawing.Size(709, 441);
+ this.terminalControl.TabIndex = 0;
+ this.terminalControl.Load += new System.EventHandler(this.terminalControl_Load);
//
// Terminal
//
this.AutoScaleDimensions = new System.Drawing.SizeF(6F, 13F);
this.AutoScaleMode = System.Windows.Forms.AutoScaleMode.Font;
- this.Controls.Add(this.txtInput);
- this.Controls.Add(this.txtConsole);
+ this.Controls.Add(this.terminalControl);
this.Name = "Terminal";
- this.Size = new System.Drawing.Size(456, 337);
- this.Load += new System.EventHandler(this.Terminal_Load);
+ this.Size = new System.Drawing.Size(709, 441);
this.ResumeLayout(false);
- this.PerformLayout();
}
#endregion
- private System.Windows.Forms.TextBox txtConsole;
- public System.Windows.Forms.TextBox txtInput;
+ private ConsoleControl.ConsoleControl terminalControl;
}
}