155 lines
7.4 KiB
C#
155 lines
7.4 KiB
C#
partial class DiogenesEditor
|
|
{
|
|
/// <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()
|
|
{
|
|
System.ComponentModel.ComponentResourceManager resources = new System.ComponentModel.ComponentResourceManager(typeof(DiogenesEditor));
|
|
this.menuStrip1 = new System.Windows.Forms.MenuStrip();
|
|
this.fileToolStripMenuItem = new System.Windows.Forms.ToolStripMenuItem();
|
|
this.newToolStripMenuItem = new System.Windows.Forms.ToolStripMenuItem();
|
|
this.loadToolStripMenuItem = new System.Windows.Forms.ToolStripMenuItem();
|
|
this.saveToolStripMenuItem = new System.Windows.Forms.ToolStripMenuItem();
|
|
this.saveAsTextToolStripMenuItem = new System.Windows.Forms.ToolStripMenuItem();
|
|
this.richTextBox1 = new System.Windows.Forms.RichTextBox();
|
|
this.label1 = new System.Windows.Forms.Label();
|
|
this.label2 = new System.Windows.Forms.Label();
|
|
this.menuStrip1.SuspendLayout();
|
|
this.SuspendLayout();
|
|
//
|
|
// menuStrip1
|
|
//
|
|
this.menuStrip1.BackColor = System.Drawing.SystemColors.ControlLightLight;
|
|
this.menuStrip1.Items.AddRange(new System.Windows.Forms.ToolStripItem[] {
|
|
this.fileToolStripMenuItem});
|
|
this.menuStrip1.Location = new System.Drawing.Point(0, 0);
|
|
this.menuStrip1.Name = "menuStrip1";
|
|
this.menuStrip1.Size = new System.Drawing.Size(804, 24);
|
|
this.menuStrip1.TabIndex = 0;
|
|
this.menuStrip1.Text = "menuStrip1";
|
|
//
|
|
// fileToolStripMenuItem
|
|
//
|
|
this.fileToolStripMenuItem.DropDownItems.AddRange(new System.Windows.Forms.ToolStripItem[] {
|
|
this.newToolStripMenuItem,
|
|
this.loadToolStripMenuItem,
|
|
this.saveToolStripMenuItem,
|
|
this.saveAsTextToolStripMenuItem});
|
|
this.fileToolStripMenuItem.Name = "fileToolStripMenuItem";
|
|
this.fileToolStripMenuItem.Size = new System.Drawing.Size(37, 20);
|
|
this.fileToolStripMenuItem.Text = "File";
|
|
//
|
|
// newToolStripMenuItem
|
|
//
|
|
this.newToolStripMenuItem.Name = "newToolStripMenuItem";
|
|
this.newToolStripMenuItem.Size = new System.Drawing.Size(180, 22);
|
|
this.newToolStripMenuItem.Text = "New";
|
|
this.newToolStripMenuItem.Click += new System.EventHandler(this.NewToolStripMenuItemClick);
|
|
//
|
|
// loadToolStripMenuItem
|
|
//
|
|
this.loadToolStripMenuItem.Name = "loadToolStripMenuItem";
|
|
this.loadToolStripMenuItem.Size = new System.Drawing.Size(180, 22);
|
|
this.loadToolStripMenuItem.Text = "Load";
|
|
this.loadToolStripMenuItem.Click += new System.EventHandler(this.LoadToolStripMenuItemClick);
|
|
//
|
|
// saveToolStripMenuItem
|
|
//
|
|
this.saveToolStripMenuItem.Name = "saveToolStripMenuItem";
|
|
this.saveToolStripMenuItem.Size = new System.Drawing.Size(180, 22);
|
|
this.saveToolStripMenuItem.Text = "Save";
|
|
this.saveToolStripMenuItem.Click += new System.EventHandler(this.SaveToolStripMenuItemClick);
|
|
//
|
|
// saveAsTextToolStripMenuItem
|
|
//
|
|
this.saveAsTextToolStripMenuItem.Name = "saveAsTextToolStripMenuItem";
|
|
this.saveAsTextToolStripMenuItem.Size = new System.Drawing.Size(180, 22);
|
|
this.saveAsTextToolStripMenuItem.Text = "Save as Text File";
|
|
this.saveAsTextToolStripMenuItem.Click += new System.EventHandler(this.saveAsTextFileToolStripMenuItem_Click);
|
|
//
|
|
// richTextBox1
|
|
//
|
|
this.richTextBox1.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.richTextBox1.Location = new System.Drawing.Point(2, 27);
|
|
this.richTextBox1.Name = "richTextBox1";
|
|
this.richTextBox1.Size = new System.Drawing.Size(800, 423);
|
|
this.richTextBox1.TabIndex = 1;
|
|
this.richTextBox1.Text = "";
|
|
//
|
|
// label1
|
|
//
|
|
this.label1.Anchor = ((System.Windows.Forms.AnchorStyles)((System.Windows.Forms.AnchorStyles.Top | System.Windows.Forms.AnchorStyles.Right)));
|
|
this.label1.AutoSize = true;
|
|
this.label1.Location = new System.Drawing.Point(630, 5);
|
|
this.label1.Name = "label1";
|
|
this.label1.Size = new System.Drawing.Size(93, 13);
|
|
this.label1.TabIndex = 2;
|
|
this.label1.Text = "Diogenes Version:";
|
|
//
|
|
// label2
|
|
//
|
|
this.label2.Anchor = ((System.Windows.Forms.AnchorStyles)((System.Windows.Forms.AnchorStyles.Top | System.Windows.Forms.AnchorStyles.Right)));
|
|
this.label2.AutoSize = true;
|
|
this.label2.Location = new System.Drawing.Point(729, 5);
|
|
this.label2.Name = "label2";
|
|
this.label2.Size = new System.Drawing.Size(63, 13);
|
|
this.label2.TabIndex = 3;
|
|
this.label2.Text = "Not Loaded";
|
|
//
|
|
// DiogenesEditor
|
|
//
|
|
this.AutoScaleDimensions = new System.Drawing.SizeF(6F, 13F);
|
|
this.AutoScaleMode = System.Windows.Forms.AutoScaleMode.Font;
|
|
this.BackColor = System.Drawing.SystemColors.ControlLightLight;
|
|
this.ClientSize = new System.Drawing.Size(804, 452);
|
|
this.Controls.Add(this.label2);
|
|
this.Controls.Add(this.label1);
|
|
this.Controls.Add(this.richTextBox1);
|
|
this.Controls.Add(this.menuStrip1);
|
|
this.FormBorderStyle = System.Windows.Forms.FormBorderStyle.FixedSingle;
|
|
this.Icon = ((System.Drawing.Icon)(resources.GetObject("$this.Icon")));
|
|
this.Name = "DiogenesEditor";
|
|
this.Text = "Diogenes Editor";
|
|
this.menuStrip1.ResumeLayout(false);
|
|
this.menuStrip1.PerformLayout();
|
|
this.ResumeLayout(false);
|
|
this.PerformLayout();
|
|
|
|
}
|
|
|
|
#endregion
|
|
|
|
private System.Windows.Forms.MenuStrip menuStrip1;
|
|
private System.Windows.Forms.ToolStripMenuItem fileToolStripMenuItem;
|
|
private System.Windows.Forms.ToolStripMenuItem newToolStripMenuItem;
|
|
private System.Windows.Forms.ToolStripMenuItem loadToolStripMenuItem;
|
|
private System.Windows.Forms.ToolStripMenuItem saveToolStripMenuItem;
|
|
private System.Windows.Forms.RichTextBox richTextBox1;
|
|
private System.Windows.Forms.ToolStripMenuItem saveAsTextToolStripMenuItem;
|
|
private System.Windows.Forms.Label label1;
|
|
private System.Windows.Forms.Label label2;
|
|
} |