Private
Public Access
237 lines
12 KiB
C#
237 lines
12 KiB
C#
using System.Windows.Forms;
|
|
|
|
namespace Advanced_Software_Engineering
|
|
{
|
|
/// <summary>
|
|
/// Auto generated code
|
|
/// </summary>
|
|
partial class TextEditor
|
|
{
|
|
/// <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.components = new System.ComponentModel.Container();
|
|
System.ComponentModel.ComponentResourceManager resources = new System.ComponentModel.ComponentResourceManager(typeof(TextEditor));
|
|
this.TextBox = new System.Windows.Forms.TextBox();
|
|
this.menuStrip1 = new System.Windows.Forms.MenuStrip();
|
|
this.fileToolStripMenuItem = new System.Windows.Forms.ToolStripMenuItem();
|
|
this.newFileToolStripMenuItem = new System.Windows.Forms.ToolStripMenuItem();
|
|
this.openToolStripMenuItem = new System.Windows.Forms.ToolStripMenuItem();
|
|
this.saveToolStripMenuItem = new System.Windows.Forms.ToolStripMenuItem();
|
|
this.saveAsToolStripMenuItem = new System.Windows.Forms.ToolStripMenuItem();
|
|
this.exitToolStripMenuItem = new System.Windows.Forms.ToolStripMenuItem();
|
|
this.runToolStripMenuItem = new System.Windows.Forms.ToolStripMenuItem();
|
|
this.checkSyntaxToolStripMenuItem = new System.Windows.Forms.ToolStripMenuItem();
|
|
this.describeToolStripMenuItem = new System.Windows.Forms.ToolStripMenuItem();
|
|
this.helpToolStripMenuItem = new System.Windows.Forms.ToolStripMenuItem();
|
|
this.aboutToolStripMenuItem = new System.Windows.Forms.ToolStripMenuItem();
|
|
this.helpToolStripMenuItem1 = new System.Windows.Forms.ToolStripMenuItem();
|
|
this.label1 = new System.Windows.Forms.Label();
|
|
this.SavedLabelTimer = new System.Windows.Forms.Timer(this.components);
|
|
this.menuStrip1.SuspendLayout();
|
|
this.SuspendLayout();
|
|
//
|
|
// TextBox
|
|
//
|
|
this.TextBox.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.TextBox.BorderStyle = System.Windows.Forms.BorderStyle.FixedSingle;
|
|
this.TextBox.Font = new System.Drawing.Font("Lucida Console", 9F, System.Drawing.FontStyle.Regular, System.Drawing.GraphicsUnit.Point, ((byte)(0)));
|
|
this.TextBox.Location = new System.Drawing.Point(0, 23);
|
|
this.TextBox.Multiline = true;
|
|
this.TextBox.Name = "TextBox";
|
|
this.TextBox.ScrollBars = System.Windows.Forms.ScrollBars.Both;
|
|
this.TextBox.Size = new System.Drawing.Size(602, 509);
|
|
this.TextBox.TabIndex = 0;
|
|
this.TextBox.WordWrap = false;
|
|
this.TextBox.Click += new System.EventHandler(this.TextBoxClick);
|
|
this.TextBox.TextChanged += new System.EventHandler(this.HandleKeypress);
|
|
this.TextBox.KeyDown += new System.Windows.Forms.KeyEventHandler(this.Text_Editor_PreviewKeyDown);
|
|
this.TextBox.KeyUp += new System.Windows.Forms.KeyEventHandler(this.TextBox_KeyUp);
|
|
//
|
|
// menuStrip1
|
|
//
|
|
this.menuStrip1.Items.AddRange(new System.Windows.Forms.ToolStripItem[] {
|
|
this.fileToolStripMenuItem,
|
|
this.runToolStripMenuItem,
|
|
this.checkSyntaxToolStripMenuItem,
|
|
this.describeToolStripMenuItem,
|
|
this.helpToolStripMenuItem});
|
|
this.menuStrip1.Location = new System.Drawing.Point(0, 0);
|
|
this.menuStrip1.Name = "menuStrip1";
|
|
this.menuStrip1.Size = new System.Drawing.Size(602, 24);
|
|
this.menuStrip1.TabIndex = 1;
|
|
this.menuStrip1.Text = "menuStrip1";
|
|
//
|
|
// fileToolStripMenuItem
|
|
//
|
|
this.fileToolStripMenuItem.DropDownItems.AddRange(new System.Windows.Forms.ToolStripItem[] {
|
|
this.newFileToolStripMenuItem,
|
|
this.openToolStripMenuItem,
|
|
this.saveToolStripMenuItem,
|
|
this.saveAsToolStripMenuItem,
|
|
this.exitToolStripMenuItem});
|
|
this.fileToolStripMenuItem.Name = "fileToolStripMenuItem";
|
|
this.fileToolStripMenuItem.Size = new System.Drawing.Size(37, 20);
|
|
this.fileToolStripMenuItem.Text = "File";
|
|
//
|
|
// newFileToolStripMenuItem
|
|
//
|
|
this.newFileToolStripMenuItem.Name = "newFileToolStripMenuItem";
|
|
this.newFileToolStripMenuItem.Size = new System.Drawing.Size(202, 22);
|
|
this.newFileToolStripMenuItem.Text = "New File (Ctrl + N)";
|
|
this.newFileToolStripMenuItem.Click += new System.EventHandler(this.NewFileToolStripMenuItem_Click);
|
|
//
|
|
// openToolStripMenuItem
|
|
//
|
|
this.openToolStripMenuItem.Name = "openToolStripMenuItem";
|
|
this.openToolStripMenuItem.Size = new System.Drawing.Size(202, 22);
|
|
this.openToolStripMenuItem.Text = "Open (Ctrl + O)";
|
|
this.openToolStripMenuItem.Click += new System.EventHandler(this.OpenToolStripMenuItem_Click);
|
|
//
|
|
// saveToolStripMenuItem
|
|
//
|
|
this.saveToolStripMenuItem.Name = "saveToolStripMenuItem";
|
|
this.saveToolStripMenuItem.Size = new System.Drawing.Size(202, 22);
|
|
this.saveToolStripMenuItem.Text = "Save (Ctrl + S)";
|
|
this.saveToolStripMenuItem.Click += new System.EventHandler(this.SaveToolStripMenuItem_Click);
|
|
//
|
|
// saveAsToolStripMenuItem
|
|
//
|
|
this.saveAsToolStripMenuItem.Name = "saveAsToolStripMenuItem";
|
|
this.saveAsToolStripMenuItem.Size = new System.Drawing.Size(202, 22);
|
|
this.saveAsToolStripMenuItem.Text = "Save As (Ctrl + Shift + S)";
|
|
this.saveAsToolStripMenuItem.Click += new System.EventHandler(this.SaveAsToolStripMenuItem_Click);
|
|
//
|
|
// exitToolStripMenuItem
|
|
//
|
|
this.exitToolStripMenuItem.Name = "exitToolStripMenuItem";
|
|
this.exitToolStripMenuItem.Size = new System.Drawing.Size(202, 22);
|
|
this.exitToolStripMenuItem.Text = "Exit (Alt + F4)";
|
|
this.exitToolStripMenuItem.Click += new System.EventHandler(this.ExitToolStripMenuItem_Click);
|
|
//
|
|
// runToolStripMenuItem
|
|
//
|
|
this.runToolStripMenuItem.Name = "runToolStripMenuItem";
|
|
this.runToolStripMenuItem.Size = new System.Drawing.Size(63, 20);
|
|
this.runToolStripMenuItem.Text = "Run (F5)";
|
|
this.runToolStripMenuItem.Click += new System.EventHandler(this.RunToolStripMenuItem_Click);
|
|
//
|
|
// checkSyntaxToolStripMenuItem
|
|
//
|
|
this.checkSyntaxToolStripMenuItem.Name = "checkSyntaxToolStripMenuItem";
|
|
this.checkSyntaxToolStripMenuItem.Size = new System.Drawing.Size(151, 20);
|
|
this.checkSyntaxToolStripMenuItem.Text = "Check Syntax (Shift + F5)";
|
|
this.checkSyntaxToolStripMenuItem.Click += new System.EventHandler(this.CheckSyntaxToolStripMenuItem_Click);
|
|
//
|
|
// describeToolStripMenuItem
|
|
//
|
|
this.describeToolStripMenuItem.Name = "describeToolStripMenuItem";
|
|
this.describeToolStripMenuItem.Size = new System.Drawing.Size(125, 20);
|
|
this.describeToolStripMenuItem.Text = "Describe (Shift + F1)";
|
|
this.describeToolStripMenuItem.Click += new System.EventHandler(this.DescribeToolStripMenuItem_Click);
|
|
//
|
|
// helpToolStripMenuItem
|
|
//
|
|
this.helpToolStripMenuItem.DropDownItems.AddRange(new System.Windows.Forms.ToolStripItem[] {
|
|
this.aboutToolStripMenuItem,
|
|
this.helpToolStripMenuItem1});
|
|
this.helpToolStripMenuItem.Name = "helpToolStripMenuItem";
|
|
this.helpToolStripMenuItem.Size = new System.Drawing.Size(44, 20);
|
|
this.helpToolStripMenuItem.Text = "Help";
|
|
//
|
|
// aboutToolStripMenuItem
|
|
//
|
|
this.aboutToolStripMenuItem.Name = "aboutToolStripMenuItem";
|
|
this.aboutToolStripMenuItem.Size = new System.Drawing.Size(107, 22);
|
|
this.aboutToolStripMenuItem.Text = "About";
|
|
this.aboutToolStripMenuItem.Click += new System.EventHandler(this.AboutToolStripMenuItem_Click);
|
|
//
|
|
// helpToolStripMenuItem1
|
|
//
|
|
this.helpToolStripMenuItem1.Name = "helpToolStripMenuItem1";
|
|
this.helpToolStripMenuItem1.Size = new System.Drawing.Size(107, 22);
|
|
this.helpToolStripMenuItem1.Text = "Help";
|
|
this.helpToolStripMenuItem1.Click += new System.EventHandler(this.HelpToolStripMenuItem1_Click);
|
|
//
|
|
// label1
|
|
//
|
|
this.label1.AutoSize = true;
|
|
this.label1.Dock = System.Windows.Forms.DockStyle.Bottom;
|
|
this.label1.Location = new System.Drawing.Point(0, 535);
|
|
this.label1.Name = "label1";
|
|
this.label1.Size = new System.Drawing.Size(0, 13);
|
|
this.label1.TabIndex = 2;
|
|
//
|
|
// SavedLabelTimer
|
|
//
|
|
this.SavedLabelTimer.Interval = 1000;
|
|
this.SavedLabelTimer.Tick += new System.EventHandler(this.SavedLableTimerTick);
|
|
//
|
|
// TextEditor
|
|
//
|
|
this.AutoScaleDimensions = new System.Drawing.SizeF(6F, 13F);
|
|
this.AutoScaleMode = System.Windows.Forms.AutoScaleMode.Font;
|
|
this.ClientSize = new System.Drawing.Size(602, 548);
|
|
this.Controls.Add(this.label1);
|
|
this.Controls.Add(this.TextBox);
|
|
this.Controls.Add(this.menuStrip1);
|
|
this.Icon = ((System.Drawing.Icon)(resources.GetObject("$this.Icon")));
|
|
this.KeyPreview = true;
|
|
this.MainMenuStrip = this.menuStrip1;
|
|
this.Name = "TextEditor";
|
|
this.Text = "Advanced Software Engineering - Text Editor";
|
|
this.FormClosing += new System.Windows.Forms.FormClosingEventHandler(this.Text_Editor_FormClosing);
|
|
this.FormClosed += new System.Windows.Forms.FormClosedEventHandler(this.Console_FormClosed);
|
|
this.KeyDown += new System.Windows.Forms.KeyEventHandler(this.Text_Editor_PreviewKeyDown);
|
|
this.menuStrip1.ResumeLayout(false);
|
|
this.menuStrip1.PerformLayout();
|
|
this.ResumeLayout(false);
|
|
this.PerformLayout();
|
|
|
|
}
|
|
|
|
#endregion
|
|
|
|
private System.Windows.Forms.TextBox TextBox;
|
|
private MenuStrip menuStrip1;
|
|
private ToolStripMenuItem fileToolStripMenuItem;
|
|
private ToolStripMenuItem newFileToolStripMenuItem;
|
|
private ToolStripMenuItem openToolStripMenuItem;
|
|
private ToolStripMenuItem saveToolStripMenuItem;
|
|
private ToolStripMenuItem exitToolStripMenuItem;
|
|
private ToolStripMenuItem runToolStripMenuItem;
|
|
private ToolStripMenuItem helpToolStripMenuItem;
|
|
private ToolStripMenuItem aboutToolStripMenuItem;
|
|
private ToolStripMenuItem helpToolStripMenuItem1;
|
|
private ToolStripMenuItem saveAsToolStripMenuItem;
|
|
private ToolStripMenuItem checkSyntaxToolStripMenuItem;
|
|
private Label label1;
|
|
private Timer SavedLabelTimer;
|
|
private ToolStripMenuItem describeToolStripMenuItem;
|
|
}
|
|
} |