namespace LSLEditor.Tools { partial class TextEditorGeneral { /// /// Required designer variable. /// private System.ComponentModel.IContainer components = null; /// /// Clean up any resources being used. /// /// true if managed resources should be disposed; otherwise, false. protected override void Dispose(bool disposing) { if (disposing && (components != null)) { components.Dispose(); } base.Dispose(disposing); } #region Component Designer generated code /// /// Required method for Designer support - do not modify /// the contents of this method with the code editor. /// 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; } }