LSLEditor/source/Tools/TextEditorGeneral.Designer.cs
2022-11-20 07:05:44 -07:00

298 lines
11 KiB
C#

namespace LSLEditor.Tools
{
partial class TextEditorGeneral
{
/// <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 Component 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.groupBox4 = new System.Windows.Forms.GroupBox();
this.checkBox5 = new System.Windows.Forms.CheckBox();
this.checkBox1 = new System.Windows.Forms.CheckBox();
this.radioButton4 = new System.Windows.Forms.RadioButton();
this.radioButton3 = new System.Windows.Forms.RadioButton();
this.groupBox3 = new System.Windows.Forms.GroupBox();
this.checkBox2 = new System.Windows.Forms.CheckBox();
this.radioButton2 = new System.Windows.Forms.RadioButton();
this.radioButton1 = new System.Windows.Forms.RadioButton();
this.groupBox2 = new System.Windows.Forms.GroupBox();
this.checkBox3 = new System.Windows.Forms.CheckBox();
this.groupBox1 = new System.Windows.Forms.GroupBox();
this.checkBox4 = new System.Windows.Forms.CheckBox();
this.groupBox5 = new System.Windows.Forms.GroupBox();
this.radioButton8 = new System.Windows.Forms.RadioButton();
this.radioButton7 = new System.Windows.Forms.RadioButton();
this.radioButton6 = new System.Windows.Forms.RadioButton();
this.radioButton5 = new System.Windows.Forms.RadioButton();
this.groupBox4.SuspendLayout();
this.groupBox3.SuspendLayout();
this.groupBox2.SuspendLayout();
this.groupBox1.SuspendLayout();
this.groupBox5.SuspendLayout();
this.SuspendLayout();
//
// groupBox4
//
this.groupBox4.Controls.Add(this.checkBox5);
this.groupBox4.Controls.Add(this.checkBox1);
this.groupBox4.Controls.Add(this.radioButton4);
this.groupBox4.Controls.Add(this.radioButton3);
this.groupBox4.Controls.Add(this.groupBox3);
this.groupBox4.Location = new System.Drawing.Point(0, 0);
this.groupBox4.Name = "groupBox4";
this.groupBox4.Size = new System.Drawing.Size(392, 136);
this.groupBox4.TabIndex = 7;
this.groupBox4.TabStop = false;
this.groupBox4.Text = "indenting";
//
// checkBox5
//
this.checkBox5.AutoSize = true;
this.checkBox5.Location = new System.Drawing.Point(16, 96);
this.checkBox5.Name = "checkBox5";
this.checkBox5.Size = new System.Drawing.Size(180, 17);
this.checkBox5.TabIndex = 8;
this.checkBox5.Text = "autocorrect indent on file loading";
this.checkBox5.UseVisualStyleBackColor = true;
//
// checkBox1
//
this.checkBox1.AutoSize = true;
this.checkBox1.Location = new System.Drawing.Point(16, 64);
this.checkBox1.Name = "checkBox1";
this.checkBox1.Size = new System.Drawing.Size(191, 17);
this.checkBox1.TabIndex = 7;
this.checkBox1.Text = "warning on different indent scheme";
this.checkBox1.UseVisualStyleBackColor = true;
//
// radioButton4
//
this.radioButton4.AutoSize = true;
this.radioButton4.Location = new System.Drawing.Point(80, 24);
this.radioButton4.Name = "radioButton4";
this.radioButton4.Size = new System.Drawing.Size(90, 17);
this.radioButton4.TabIndex = 6;
this.radioButton4.TabStop = true;
this.radioButton4.Text = "4 spaces (SL)";
this.radioButton4.UseVisualStyleBackColor = true;
//
// radioButton3
//
this.radioButton3.AutoSize = true;
this.radioButton3.Location = new System.Drawing.Point(16, 24);
this.radioButton3.Name = "radioButton3";
this.radioButton3.Size = new System.Drawing.Size(49, 17);
this.radioButton3.TabIndex = 5;
this.radioButton3.TabStop = true;
this.radioButton3.Text = "Tabs";
this.radioButton3.UseVisualStyleBackColor = true;
//
// groupBox3
//
this.groupBox3.Controls.Add(this.checkBox2);
this.groupBox3.Controls.Add(this.radioButton2);
this.groupBox3.Controls.Add(this.radioButton1);
this.groupBox3.Location = new System.Drawing.Point(232, 16);
this.groupBox3.Name = "groupBox3";
this.groupBox3.Size = new System.Drawing.Size(144, 100);
this.groupBox3.TabIndex = 4;
this.groupBox3.TabStop = false;
this.groupBox3.Text = "autoindent when typing";
//
// checkBox2
//
this.checkBox2.AutoSize = true;
this.checkBox2.Location = new System.Drawing.Point(8, 24);
this.checkBox2.Name = "checkBox2";
this.checkBox2.Size = new System.Drawing.Size(110, 17);
this.checkBox2.TabIndex = 3;
this.checkBox2.Text = "use autoindenting";
this.checkBox2.UseVisualStyleBackColor = true;
this.checkBox2.CheckedChanged += new System.EventHandler(this.checkBox2_CheckedChanged);
//
// radioButton2
//
this.radioButton2.AutoSize = true;
this.radioButton2.Location = new System.Drawing.Point(8, 72);
this.radioButton2.Name = "radioButton2";
this.radioButton2.Size = new System.Drawing.Size(128, 17);
this.radioButton2.TabIndex = 0;
this.radioButton2.Text = "cursor placement only";
this.radioButton2.UseVisualStyleBackColor = true;
//
// radioButton1
//
this.radioButton1.AutoSize = true;
this.radioButton1.Location = new System.Drawing.Point(8, 48);
this.radioButton1.Name = "radioButton1";
this.radioButton1.Size = new System.Drawing.Size(94, 17);
this.radioButton1.TabIndex = 1;
this.radioButton1.Text = "full auto indent";
this.radioButton1.UseVisualStyleBackColor = true;
//
// groupBox2
//
this.groupBox2.Controls.Add(this.checkBox3);
this.groupBox2.Location = new System.Drawing.Point(200, 144);
this.groupBox2.Name = "groupBox2";
this.groupBox2.Size = new System.Drawing.Size(192, 56);
this.groupBox2.TabIndex = 8;
this.groupBox2.TabStop = false;
this.groupBox2.Text = "default editor options";
//
// checkBox3
//
this.checkBox3.AutoSize = true;
this.checkBox3.Location = new System.Drawing.Point(16, 24);
this.checkBox3.Name = "checkBox3";
this.checkBox3.Size = new System.Drawing.Size(156, 17);
this.checkBox3.TabIndex = 2;
this.checkBox3.Text = "Auto word selection (is bad)";
this.checkBox3.UseVisualStyleBackColor = true;
//
// groupBox1
//
this.groupBox1.Controls.Add(this.checkBox4);
this.groupBox1.Location = new System.Drawing.Point(200, 216);
this.groupBox1.Name = "groupBox1";
this.groupBox1.Size = new System.Drawing.Size(192, 56);
this.groupBox1.TabIndex = 9;
this.groupBox1.TabStop = false;
this.groupBox1.Text = "file extension association";
//
// checkBox4
//
this.checkBox4.AutoSize = true;
this.checkBox4.Location = new System.Drawing.Point(16, 24);
this.checkBox4.Name = "checkBox4";
this.checkBox4.Size = new System.Drawing.Size(146, 17);
this.checkBox4.TabIndex = 0;
this.checkBox4.Text = "register .lsl with LSLEditor";
this.checkBox4.UseVisualStyleBackColor = true;
//
// groupBox5
//
this.groupBox5.Controls.Add(this.radioButton8);
this.groupBox5.Controls.Add(this.radioButton7);
this.groupBox5.Controls.Add(this.radioButton6);
this.groupBox5.Controls.Add(this.radioButton5);
this.groupBox5.Location = new System.Drawing.Point(0, 144);
this.groupBox5.Name = "groupBox5";
this.groupBox5.Size = new System.Drawing.Size(184, 128);
this.groupBox5.TabIndex = 10;
this.groupBox5.TabStop = false;
this.groupBox5.Text = "output format";
//
// radioButton8
//
this.radioButton8.AutoSize = true;
this.radioButton8.Location = new System.Drawing.Point(16, 24);
this.radioButton8.Name = "radioButton8";
this.radioButton8.Size = new System.Drawing.Size(55, 17);
this.radioButton8.TabIndex = 0;
this.radioButton8.TabStop = true;
this.radioButton8.Text = "UTF-8";
this.radioButton8.UseVisualStyleBackColor = true;
//
// radioButton7
//
this.radioButton7.AutoSize = true;
this.radioButton7.Location = new System.Drawing.Point(16, 96);
this.radioButton7.Name = "radioButton7";
this.radioButton7.Size = new System.Drawing.Size(78, 17);
this.radioButton7.TabIndex = 3;
this.radioButton7.TabStop = true;
this.radioButton7.Text = "UTF-16 BE";
this.radioButton7.UseVisualStyleBackColor = true;
//
// radioButton6
//
this.radioButton6.AutoSize = true;
this.radioButton6.Location = new System.Drawing.Point(16, 72);
this.radioButton6.Name = "radioButton6";
this.radioButton6.Size = new System.Drawing.Size(77, 17);
this.radioButton6.TabIndex = 2;
this.radioButton6.TabStop = true;
this.radioButton6.Text = "UTF-16 LE";
this.radioButton6.UseVisualStyleBackColor = true;
//
// radioButton5
//
this.radioButton5.AutoSize = true;
this.radioButton5.Enabled = false;
this.radioButton5.Location = new System.Drawing.Point(16, 49);
this.radioButton5.Name = "radioButton5";
this.radioButton5.Size = new System.Drawing.Size(100, 17);
this.radioButton5.TabIndex = 1;
this.radioButton5.Text = "UTF-8 + B.O.M.";
this.radioButton5.UseVisualStyleBackColor = true;
this.radioButton5.Visible = false;
//
// TextEditorGeneral
//
this.AutoScaleDimensions = new System.Drawing.SizeF(6F, 13F);
this.AutoScaleMode = System.Windows.Forms.AutoScaleMode.Font;
this.Controls.Add(this.groupBox5);
this.Controls.Add(this.groupBox1);
this.Controls.Add(this.groupBox2);
this.Controls.Add(this.groupBox4);
this.Name = "TextEditorGeneral";
this.Size = new System.Drawing.Size(392, 272);
this.groupBox4.ResumeLayout(false);
this.groupBox4.PerformLayout();
this.groupBox3.ResumeLayout(false);
this.groupBox3.PerformLayout();
this.groupBox2.ResumeLayout(false);
this.groupBox2.PerformLayout();
this.groupBox1.ResumeLayout(false);
this.groupBox1.PerformLayout();
this.groupBox5.ResumeLayout(false);
this.groupBox5.PerformLayout();
this.ResumeLayout(false);
}
#endregion
private System.Windows.Forms.GroupBox groupBox4;
private System.Windows.Forms.CheckBox checkBox2;
private System.Windows.Forms.RadioButton radioButton1;
private System.Windows.Forms.RadioButton radioButton2;
private System.Windows.Forms.GroupBox groupBox2;
private System.Windows.Forms.CheckBox checkBox3;
private System.Windows.Forms.GroupBox groupBox1;
private System.Windows.Forms.CheckBox checkBox4;
private System.Windows.Forms.CheckBox checkBox5;
private System.Windows.Forms.CheckBox checkBox1;
private System.Windows.Forms.RadioButton radioButton4;
private System.Windows.Forms.RadioButton radioButton3;
private System.Windows.Forms.GroupBox groupBox3;
private System.Windows.Forms.GroupBox groupBox5;
private System.Windows.Forms.RadioButton radioButton8;
private System.Windows.Forms.RadioButton radioButton7;
private System.Windows.Forms.RadioButton radioButton6;
private System.Windows.Forms.RadioButton radioButton5;
}
}