This repository has been archived on 2023-03-26. You can view files and clone it, but cannot push or open issues or pull requests.
pithos/mainWindow.Designer.cs

97 lines
4.3 KiB
C#
Raw Normal View History

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
//
2015-01-10 23:16:30 +00:00
this.inputBox.Font = new System.Drawing.Font("Microsoft Sans Serif", 10.5F, System.Drawing.FontStyle.Regular, System.Drawing.GraphicsUnit.Point, ((byte)(0)));
this.inputBox.Location = new System.Drawing.Point(12, 341);
this.inputBox.Name = "inputBox";
2015-01-10 23:16:30 +00:00
this.inputBox.Size = new System.Drawing.Size(729, 23);
this.inputBox.TabIndex = 0;
//
// output
//
2015-01-10 23:16:30 +00:00
this.output.BackColor = System.Drawing.Color.Black;
this.output.BorderStyle = System.Windows.Forms.BorderStyle.None;
this.output.Font = new System.Drawing.Font("Microsoft Sans Serif", 11F, System.Drawing.FontStyle.Regular, System.Drawing.GraphicsUnit.Point, ((byte)(0)));
this.output.ForeColor = System.Drawing.Color.White;
this.output.Location = new System.Drawing.Point(12, 12);
this.output.Name = "output";
this.output.ReadOnly = true;
2015-01-10 23:16:30 +00:00
this.output.Size = new System.Drawing.Size(778, 320);
this.output.TabIndex = 1;
this.output.Text = "";
//
// executeButton
//
2015-01-10 23:16:30 +00:00
this.executeButton.BackColor = System.Drawing.Color.Transparent;
this.executeButton.FlatStyle = System.Windows.Forms.FlatStyle.System;
this.executeButton.Font = new System.Drawing.Font("Microsoft Sans Serif", 12F, System.Drawing.FontStyle.Regular, System.Drawing.GraphicsUnit.Point, ((byte)(0)));
2015-01-10 23:16:30 +00:00
this.executeButton.Location = new System.Drawing.Point(747, 338);
this.executeButton.Name = "executeButton";
this.executeButton.Size = new System.Drawing.Size(43, 26);
this.executeButton.TabIndex = 2;
this.executeButton.Text = ">>";
2015-01-10 23:16:30 +00:00
this.executeButton.UseVisualStyleBackColor = false;
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;
2015-01-10 23:16:30 +00:00
this.BackColor = System.Drawing.Color.Black;
this.ClientSize = new System.Drawing.Size(802, 376);
this.Controls.Add(this.executeButton);
this.Controls.Add(this.output);
this.Controls.Add(this.inputBox);
this.MaximizeBox = false;
this.Name = "mainWindow";
2015-01-04 22:21:52 +00:00
this.StartPosition = System.Windows.Forms.FormStartPosition.CenterParent;
this.Text = "Pithos - Main Window";
2015-01-10 23:16:30 +00:00
this.FormClosing += new System.Windows.Forms.FormClosingEventHandler(this.mainWindow_FormClosing);
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;
}
}