[4068] | 1 | namespace HeuristicLab.CodeEditor {
|
---|
[2659] | 2 | public partial class CodeEditor : System.Windows.Forms.UserControl {
|
---|
| 3 | /// <summary>
|
---|
| 4 | /// Designer variable used to keep track of non-visual components.
|
---|
| 5 | /// </summary>
|
---|
| 6 | private System.ComponentModel.IContainer components = null;
|
---|
| 7 |
|
---|
| 8 | /// <summary>
|
---|
| 9 | /// Disposes resources used by the form.
|
---|
| 10 | /// </summary>
|
---|
| 11 | /// <param name="disposing">true if managed resources should be disposed; otherwise, false.</param>
|
---|
| 12 | protected override void Dispose(bool disposing) {
|
---|
[2719] | 13 | runParser = false;
|
---|
| 14 | if (disposing) {
|
---|
| 15 | if (components != null) {
|
---|
| 16 | components.Dispose();
|
---|
[2659] | 17 | }
|
---|
| 18 | }
|
---|
[2719] | 19 | base.Dispose(disposing);
|
---|
[2659] | 20 | }
|
---|
| 21 |
|
---|
| 22 | /// <summary>
|
---|
| 23 | /// This method is required for Windows Forms designer support.
|
---|
| 24 | /// Do not change the method contents inside the source code editor. The Forms designer might
|
---|
| 25 | /// not be able to load this method if it was changed manually.
|
---|
| 26 | /// </summary>
|
---|
| 27 | private void InitializeComponent() {
|
---|
| 28 | this.components = new System.ComponentModel.Container();
|
---|
| 29 | System.Windows.Forms.ToolStripStatusLabel toolStripFiller;
|
---|
| 30 | this.textEditor = new ICSharpCode.TextEditor.TextEditorControl();
|
---|
| 31 | this.statusStrip1 = new System.Windows.Forms.StatusStrip();
|
---|
| 32 | this.parserThreadLabel = new System.Windows.Forms.ToolStripStatusLabel();
|
---|
| 33 | this.errorLabel = new System.Windows.Forms.ToolStripStatusLabel();
|
---|
| 34 | this.sharpDevelopLabel = new System.Windows.Forms.ToolStripStatusLabel();
|
---|
| 35 | this.imageList1 = new System.Windows.Forms.ImageList(this.components);
|
---|
| 36 | toolStripFiller = new System.Windows.Forms.ToolStripStatusLabel();
|
---|
| 37 | this.statusStrip1.SuspendLayout();
|
---|
| 38 | this.SuspendLayout();
|
---|
| 39 | //
|
---|
| 40 | // toolStripFiller
|
---|
| 41 | //
|
---|
| 42 | toolStripFiller.Name = "toolStripFiller";
|
---|
[2667] | 43 | toolStripFiller.Size = new System.Drawing.Size(395, 17);
|
---|
[2659] | 44 | toolStripFiller.Spring = true;
|
---|
| 45 | //
|
---|
| 46 | // textEditor
|
---|
| 47 | //
|
---|
[11657] | 48 | this.textEditor.Anchor = ((System.Windows.Forms.AnchorStyles)((((System.Windows.Forms.AnchorStyles.Top | System.Windows.Forms.AnchorStyles.Bottom)
|
---|
| 49 | | System.Windows.Forms.AnchorStyles.Left)
|
---|
| 50 | | System.Windows.Forms.AnchorStyles.Right)));
|
---|
[2659] | 51 | this.textEditor.ConvertTabsToSpaces = true;
|
---|
| 52 | this.textEditor.IndentStyle = ICSharpCode.TextEditor.Document.IndentStyle.Auto;
|
---|
| 53 | this.textEditor.IsIconBarVisible = true;
|
---|
| 54 | this.textEditor.IsReadOnly = false;
|
---|
[11657] | 55 | this.textEditor.LineViewerStyle = ICSharpCode.TextEditor.Document.LineViewerStyle.FullRow;
|
---|
[2659] | 56 | this.textEditor.Location = new System.Drawing.Point(0, 0);
|
---|
| 57 | this.textEditor.Name = "textEditor";
|
---|
| 58 | this.textEditor.ShowEOLMarkers = true;
|
---|
| 59 | this.textEditor.ShowSpaces = true;
|
---|
| 60 | this.textEditor.ShowTabs = true;
|
---|
| 61 | this.textEditor.ShowVRuler = false;
|
---|
[2667] | 62 | this.textEditor.Size = new System.Drawing.Size(556, 245);
|
---|
[2659] | 63 | this.textEditor.TabIndent = 2;
|
---|
| 64 | this.textEditor.TabIndex = 0;
|
---|
| 65 | //
|
---|
| 66 | // statusStrip1
|
---|
| 67 | //
|
---|
| 68 | this.statusStrip1.Items.AddRange(new System.Windows.Forms.ToolStripItem[] {
|
---|
| 69 | this.parserThreadLabel,
|
---|
| 70 | toolStripFiller,
|
---|
| 71 | this.errorLabel,
|
---|
| 72 | this.sharpDevelopLabel});
|
---|
| 73 | this.statusStrip1.Location = new System.Drawing.Point(0, 248);
|
---|
| 74 | this.statusStrip1.Name = "statusStrip1";
|
---|
| 75 | this.statusStrip1.Size = new System.Drawing.Size(556, 22);
|
---|
| 76 | this.statusStrip1.TabIndex = 1;
|
---|
| 77 | this.statusStrip1.Text = "statusStrip1";
|
---|
| 78 | //
|
---|
| 79 | // parserThreadLabel
|
---|
| 80 | //
|
---|
| 81 | this.parserThreadLabel.Name = "parserThreadLabel";
|
---|
| 82 | this.parserThreadLabel.Size = new System.Drawing.Size(39, 17);
|
---|
| 83 | this.parserThreadLabel.Text = "Ready";
|
---|
| 84 | //
|
---|
| 85 | // errorLabel
|
---|
| 86 | //
|
---|
| 87 | this.errorLabel.ForeColor = System.Drawing.Color.Red;
|
---|
| 88 | this.errorLabel.Name = "errorLabel";
|
---|
| 89 | this.errorLabel.Size = new System.Drawing.Size(0, 17);
|
---|
| 90 | //
|
---|
| 91 | // sharpDevelopLabel
|
---|
| 92 | //
|
---|
| 93 | this.sharpDevelopLabel.Font = new System.Drawing.Font("Segoe UI", 8.25F, System.Drawing.FontStyle.Italic, System.Drawing.GraphicsUnit.Point, ((byte)(0)));
|
---|
| 94 | this.sharpDevelopLabel.IsLink = true;
|
---|
| 95 | this.sharpDevelopLabel.Name = "sharpDevelopLabel";
|
---|
| 96 | this.sharpDevelopLabel.Size = new System.Drawing.Size(107, 17);
|
---|
| 97 | this.sharpDevelopLabel.Tag = "http://www.icsharpcode.net/OpenSource/SD/";
|
---|
| 98 | this.sharpDevelopLabel.Text = "powered by #develop";
|
---|
| 99 | this.sharpDevelopLabel.ToolTipText = "Syntax highlighting and code completion facilities provided through #develop libr" +
|
---|
[11657] | 100 | "aries";
|
---|
[2659] | 101 | this.sharpDevelopLabel.Click += new System.EventHandler(this.toolStripStatusLabel1_Click);
|
---|
| 102 | //
|
---|
| 103 | // imageList1
|
---|
| 104 | //
|
---|
| 105 | this.imageList1.ColorDepth = System.Windows.Forms.ColorDepth.Depth32Bit;
|
---|
| 106 | this.imageList1.ImageSize = new System.Drawing.Size(16, 16);
|
---|
| 107 | this.imageList1.TransparentColor = System.Drawing.Color.White;
|
---|
| 108 | //
|
---|
| 109 | // CodeEditor
|
---|
| 110 | //
|
---|
[7967] | 111 | this.AutoScaleMode = System.Windows.Forms.AutoScaleMode.Inherit;
|
---|
[2659] | 112 | this.Controls.Add(this.textEditor);
|
---|
| 113 | this.Controls.Add(this.statusStrip1);
|
---|
| 114 | this.Name = "CodeEditor";
|
---|
| 115 | this.Size = new System.Drawing.Size(556, 270);
|
---|
[2667] | 116 | this.Resize += new System.EventHandler(this.CodeEditor_Resize);
|
---|
[2659] | 117 | this.statusStrip1.ResumeLayout(false);
|
---|
| 118 | this.statusStrip1.PerformLayout();
|
---|
| 119 | this.ResumeLayout(false);
|
---|
| 120 | this.PerformLayout();
|
---|
| 121 |
|
---|
| 122 | }
|
---|
| 123 | internal System.Windows.Forms.ImageList imageList1;
|
---|
| 124 | private System.Windows.Forms.ToolStripStatusLabel parserThreadLabel;
|
---|
| 125 | private System.Windows.Forms.StatusStrip statusStrip1;
|
---|
| 126 | private ICSharpCode.TextEditor.TextEditorControl textEditor;
|
---|
| 127 | private System.Windows.Forms.ToolStripStatusLabel sharpDevelopLabel;
|
---|
| 128 | private System.Windows.Forms.ToolStripStatusLabel errorLabel;
|
---|
| 129 | }
|
---|
| 130 | }
|
---|