//using System; //using System.Drawing; //using System.Collections; //using System.ComponentModel; //using System.Windows.Forms; //using Alsing.SourceCode; // //namespace Alsing.Windows.Forms.SyntaxBox //{ // /// // /// Summary description for Settings. // /// // public class SettingsForm : System.Windows.Forms.Form // { // /// // /// Required designer variable. // /// // /// // private Hashtable SpanDefinitions=new Hashtable (); // private Hashtable Styles=new Hashtable (); // // private System.ComponentModel.Container components = null; // private System.Windows.Forms.Panel panel1; // private System.Windows.Forms.Label label1; // private System.Windows.Forms.Label label2; // private System.Windows.Forms.ComboBox cboFonts; // private System.Windows.Forms.ComboBox cboSize; // private System.Windows.Forms.Label label3; // private System.Windows.Forms.ComboBox comboBox1; // private System.Windows.Forms.Label label4; // private System.Windows.Forms.Button button1; // private System.Windows.Forms.Button button2; // private System.Windows.Forms.Label label5; // private System.Windows.Forms.ComboBox comboBox2; // private System.Windows.Forms.CheckBox checkBox1; // private System.Windows.Forms.CheckBox checkBox2; // private System.Windows.Forms.CheckBox checkBox3; // private System.Windows.Forms.ListBox lstBlocks; // private SyntaxBoxControl mOwner=null; // // public SettingsForm() // { // // // // Required for Windows Form Designer support // // // InitializeComponent(); // // // // // TODO: Add any constructor code after InitializeComponent call // // // } // // public SettingsForm(SyntaxBoxControl Owner) // { // InitializeComponent(); // mOwner=Owner; // lstBlocks.Items.Clear (); // // FillTree(Owner.Document.Parser.SyntaxDefinition.mainSpanDefinition); // } // // public void FillTree(spanDefinition Block) // { // if (SpanDefinitions[Block]!=null) // return; // // SpanDefinitions.Add (Block,Block); // AddStyle(Block.Style); // foreach (PatternList pl in Block.KeywordsList) // { // AddStyle(pl.Style); // } // foreach (PatternList pl in Block.OperatorsList) // { // AddStyle(pl.Style); // } // // // foreach (spanDefinition ChildBlock in Block.childSpanDefinitions) // { // FillTree(ChildBlock); // } // // } // // private void AddStyle(TextStyle style) // { // if (Styles[style]!=null) // return; // // Styles.Add (style,style); // lstBlocks.Items.Add (style.Name); // } // // // // // /// // /// Clean up any resources being used. // /// // protected override void Dispose( bool disposing ) // { // if( disposing ) // { // if(components != null) // { // components.Dispose(); // } // } // base.Dispose( disposing ); // } // // #region Windows Form Designer generated code // /// // /// Required method for Designer support - do not modify // /// the contents of this method with the code editor. // /// // private void InitializeComponent() // { // this.panel1 = new System.Windows.Forms.Panel(); // this.checkBox3 = new System.Windows.Forms.CheckBox(); // this.checkBox2 = new System.Windows.Forms.CheckBox(); // this.checkBox1 = new System.Windows.Forms.CheckBox(); // this.button2 = new System.Windows.Forms.Button(); // this.label5 = new System.Windows.Forms.Label(); // this.comboBox2 = new System.Windows.Forms.ComboBox(); // this.button1 = new System.Windows.Forms.Button(); // this.label4 = new System.Windows.Forms.Label(); // this.comboBox1 = new System.Windows.Forms.ComboBox(); // this.label3 = new System.Windows.Forms.Label(); // this.lstBlocks = new System.Windows.Forms.ListBox(); // this.cboSize = new System.Windows.Forms.ComboBox(); // this.cboFonts = new System.Windows.Forms.ComboBox(); // this.label2 = new System.Windows.Forms.Label(); // this.label1 = new System.Windows.Forms.Label(); // this.panel1.SuspendLayout(); // this.SuspendLayout(); // // // // panel1 // // // this.panel1.Controls.AddRange(new System.Windows.Forms.Control[] { // this.checkBox3, // this.checkBox2, // this.checkBox1, // this.button2, // this.label5, // this.comboBox2, // this.button1, // this.label4, // this.comboBox1, // this.label3, // this.lstBlocks, // this.cboSize, // this.cboFonts, // this.label2, // this.label1}); // this.panel1.Location = new System.Drawing.Point(8, 0); // this.panel1.Name = "panel1"; // this.panel1.Size = new System.Drawing.Size(408, 344); // this.panel1.TabIndex = 0; // // // // checkBox3 // // // this.checkBox3.Location = new System.Drawing.Point(184, 208); // this.checkBox3.Name = "checkBox3"; // this.checkBox3.Size = new System.Drawing.Size(128, 16); // this.checkBox3.TabIndex = 14; // this.checkBox3.Text = "Underline"; // // // // checkBox2 // // // this.checkBox2.Location = new System.Drawing.Point(184, 184); // this.checkBox2.Name = "checkBox2"; // this.checkBox2.Size = new System.Drawing.Size(128, 16); // this.checkBox2.TabIndex = 13; // this.checkBox2.Text = "Italic"; // // // // checkBox1 // // // this.checkBox1.Location = new System.Drawing.Point(184, 160); // this.checkBox1.Name = "checkBox1"; // this.checkBox1.Size = new System.Drawing.Size(128, 16); // this.checkBox1.TabIndex = 12; // this.checkBox1.Text = "Bold"; // // // // button2 // // // this.button2.Location = new System.Drawing.Point(320, 128); // this.button2.Name = "button2"; // this.button2.Size = new System.Drawing.Size(80, 21); // this.button2.TabIndex = 11; // this.button2.Text = "Custom..."; // // // // label5 // // // this.label5.Location = new System.Drawing.Point(184, 112); // this.label5.Name = "label5"; // this.label5.Size = new System.Drawing.Size(100, 16); // this.label5.TabIndex = 10; // this.label5.Text = "Item foregound:"; // // // // comboBox2 // // // this.comboBox2.Location = new System.Drawing.Point(184, 128); // this.comboBox2.Name = "comboBox2"; // this.comboBox2.Size = new System.Drawing.Size(128, 21); // this.comboBox2.TabIndex = 9; // this.comboBox2.Text = "comboBox2"; // // // // button1 // // // this.button1.Location = new System.Drawing.Point(320, 80); // this.button1.Name = "button1"; // this.button1.Size = new System.Drawing.Size(80, 21); // this.button1.TabIndex = 8; // this.button1.Text = "Custom..."; // // // // label4 // // // this.label4.Location = new System.Drawing.Point(184, 64); // this.label4.Name = "label4"; // this.label4.Size = new System.Drawing.Size(100, 16); // this.label4.TabIndex = 7; // this.label4.Text = "Item foregound:"; // // // // comboBox1 // // // this.comboBox1.Location = new System.Drawing.Point(184, 80); // this.comboBox1.Name = "comboBox1"; // this.comboBox1.Size = new System.Drawing.Size(128, 21); // this.comboBox1.TabIndex = 6; // this.comboBox1.Text = "comboBox1"; // // // // label3 // // // this.label3.Location = new System.Drawing.Point(8, 64); // this.label3.Name = "label3"; // this.label3.Size = new System.Drawing.Size(100, 16); // this.label3.TabIndex = 5; // this.label3.Text = "Display items:"; // // // // lstBlocks // // // this.lstBlocks.Location = new System.Drawing.Point(8, 80); // this.lstBlocks.Name = "lstBlocks"; // this.lstBlocks.Size = new System.Drawing.Size(168, 212); // this.lstBlocks.TabIndex = 4; // // // // cboSize // // // this.cboSize.Location = new System.Drawing.Point(320, 32); // this.cboSize.Name = "cboSize"; // this.cboSize.Size = new System.Drawing.Size(80, 21); // this.cboSize.TabIndex = 3; // this.cboSize.Text = "comboBox1"; // // // // cboFonts // // // this.cboFonts.Location = new System.Drawing.Point(8, 32); // this.cboFonts.Name = "cboFonts"; // this.cboFonts.Size = new System.Drawing.Size(304, 21); // this.cboFonts.TabIndex = 2; // this.cboFonts.Text = "comboBox1"; // // // // label2 // // // this.label2.Location = new System.Drawing.Point(320, 16); // this.label2.Name = "label2"; // this.label2.Size = new System.Drawing.Size(32, 16); // this.label2.TabIndex = 1; // this.label2.Text = "Size:"; // // // // label1 // // // this.label1.Location = new System.Drawing.Point(8, 16); // this.label1.Name = "label1"; // this.label1.Size = new System.Drawing.Size(264, 16); // this.label1.TabIndex = 0; // this.label1.Text = "Font (bold type indicates fixed-width fonts):"; // // // // SettingsForm // // // this.AutoScaleBaseSize = new System.Drawing.Size(5, 13); // this.ClientSize = new System.Drawing.Size(424, 349); // this.Controls.AddRange(new System.Windows.Forms.Control[] { // this.panel1}); // this.Name = "SettingsForm"; // this.Text = "Settings"; // this.panel1.ResumeLayout(false); // this.ResumeLayout(false); // // } // #endregion // } //}