90 lines
No EOL
3.7 KiB
C#
90 lines
No EOL
3.7 KiB
C#
namespace Pithos
|
|
{
|
|
partial class mainWindow
|
|
{
|
|
/// <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.inputBox = new System.Windows.Forms.TextBox();
|
|
this.output = new System.Windows.Forms.RichTextBox();
|
|
this.executeButton = new System.Windows.Forms.Button();
|
|
this.SuspendLayout();
|
|
//
|
|
// inputBox
|
|
//
|
|
this.inputBox.Font = new System.Drawing.Font("Microsoft Sans Serif", 10F, System.Drawing.FontStyle.Regular, System.Drawing.GraphicsUnit.Point, ((byte)(0)));
|
|
this.inputBox.Location = new System.Drawing.Point(12, 304);
|
|
this.inputBox.Name = "inputBox";
|
|
this.inputBox.Size = new System.Drawing.Size(656, 23);
|
|
this.inputBox.TabIndex = 0;
|
|
//
|
|
// output
|
|
//
|
|
this.output.Font = new System.Drawing.Font("Microsoft Sans Serif", 10F, System.Drawing.FontStyle.Regular, System.Drawing.GraphicsUnit.Point, ((byte)(0)));
|
|
this.output.Location = new System.Drawing.Point(12, 12);
|
|
this.output.Name = "output";
|
|
this.output.ReadOnly = true;
|
|
this.output.Size = new System.Drawing.Size(705, 286);
|
|
this.output.TabIndex = 1;
|
|
this.output.Text = "";
|
|
//
|
|
// executeButton
|
|
//
|
|
this.executeButton.Font = new System.Drawing.Font("Microsoft Sans Serif", 12F, System.Drawing.FontStyle.Regular, System.Drawing.GraphicsUnit.Point, ((byte)(0)));
|
|
this.executeButton.Location = new System.Drawing.Point(674, 301);
|
|
this.executeButton.Name = "executeButton";
|
|
this.executeButton.Size = new System.Drawing.Size(43, 26);
|
|
this.executeButton.TabIndex = 2;
|
|
this.executeButton.Text = ">>";
|
|
this.executeButton.UseVisualStyleBackColor = true;
|
|
this.executeButton.Click += new System.EventHandler(this.executeButton_Click);
|
|
//
|
|
// mainWindow
|
|
//
|
|
this.AcceptButton = this.executeButton;
|
|
this.AutoScaleDimensions = new System.Drawing.SizeF(6F, 13F);
|
|
this.AutoScaleMode = System.Windows.Forms.AutoScaleMode.Font;
|
|
this.ClientSize = new System.Drawing.Size(729, 339);
|
|
this.Controls.Add(this.executeButton);
|
|
this.Controls.Add(this.output);
|
|
this.Controls.Add(this.inputBox);
|
|
this.MaximizeBox = false;
|
|
this.Name = "mainWindow";
|
|
this.StartPosition = System.Windows.Forms.FormStartPosition.CenterParent;
|
|
this.Text = "Pithos - Main Window";
|
|
this.Load += new System.EventHandler(this.mainWindow_Load);
|
|
this.ResumeLayout(false);
|
|
this.PerformLayout();
|
|
|
|
}
|
|
|
|
#endregion
|
|
|
|
private System.Windows.Forms.TextBox inputBox;
|
|
private System.Windows.Forms.RichTextBox output;
|
|
private System.Windows.Forms.Button executeButton;
|
|
}
|
|
} |