1 | using System;
|
---|
2 | namespace HeuristicLab.CodeEditor {
|
---|
3 | public partial class CodeEditor : System.Windows.Forms.UserControl {
|
---|
4 | /// <summary>
|
---|
5 | /// Designer variable used to keep track of non-visual components.
|
---|
6 | /// </summary>
|
---|
7 | private System.ComponentModel.IContainer components = null;
|
---|
8 |
|
---|
9 | /// <summary>
|
---|
10 | /// Disposes resources used by the form.
|
---|
11 | /// </summary>
|
---|
12 | /// <param name="disposing">true if managed resources should be disposed; otherwise, false.</param>
|
---|
13 | protected override void Dispose(bool disposing) {
|
---|
14 | runParser = false;
|
---|
15 | if (disposing) {
|
---|
16 | if (components != null) {
|
---|
17 | components.Dispose();
|
---|
18 | }
|
---|
19 | }
|
---|
20 | base.Dispose(disposing);
|
---|
21 | }
|
---|
22 |
|
---|
23 | /// <summary>
|
---|
24 | /// This method is required for Windows Forms designer support.
|
---|
25 | /// Do not change the method contents inside the source code editor. The Forms designer might
|
---|
26 | /// not be able to load this method if it was changed manually.
|
---|
27 | /// </summary>
|
---|
28 | private void InitializeComponent() {
|
---|
29 | this.components = new System.ComponentModel.Container();
|
---|
30 | System.Windows.Forms.ToolStripStatusLabel toolStripFiller;
|
---|
31 | this.textEditor = new ICSharpCode.TextEditor.TextEditorControl();
|
---|
32 | this.statusStrip1 = new System.Windows.Forms.StatusStrip();
|
---|
33 | this.parserThreadLabel = new System.Windows.Forms.ToolStripStatusLabel();
|
---|
34 | this.errorLabel = new System.Windows.Forms.ToolStripStatusLabel();
|
---|
35 | this.sharpDevelopLabel = new System.Windows.Forms.ToolStripStatusLabel();
|
---|
36 | this.imageList1 = new System.Windows.Forms.ImageList(this.components);
|
---|
37 | toolStripFiller = new System.Windows.Forms.ToolStripStatusLabel();
|
---|
38 | this.statusStrip1.SuspendLayout();
|
---|
39 | this.SuspendLayout();
|
---|
40 | //
|
---|
41 | // toolStripFiller
|
---|
42 | //
|
---|
43 | toolStripFiller.Name = "toolStripFiller";
|
---|
44 | toolStripFiller.Size = new System.Drawing.Size(395, 17);
|
---|
45 | toolStripFiller.Spring = true;
|
---|
46 | //
|
---|
47 | // textEditor
|
---|
48 | //
|
---|
49 | this.textEditor.Anchor = ((System.Windows.Forms.AnchorStyles)((((System.Windows.Forms.AnchorStyles.Top | System.Windows.Forms.AnchorStyles.Bottom)
|
---|
50 | | System.Windows.Forms.AnchorStyles.Left)
|
---|
51 | | System.Windows.Forms.AnchorStyles.Right)));
|
---|
52 | this.textEditor.ConvertTabsToSpaces = true;
|
---|
53 | this.textEditor.IndentStyle = ICSharpCode.TextEditor.Document.IndentStyle.Auto;
|
---|
54 | this.textEditor.IsIconBarVisible = true;
|
---|
55 | this.textEditor.IsReadOnly = false;
|
---|
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;
|
---|
62 | this.textEditor.Size = new System.Drawing.Size(556, 245);
|
---|
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" +
|
---|
100 | "aries";
|
---|
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 | //
|
---|
111 | this.AutoScaleDimensions = new System.Drawing.SizeF(6F, 13F);
|
---|
112 | this.AutoScaleMode = System.Windows.Forms.AutoScaleMode.Font;
|
---|
113 | this.Controls.Add(this.textEditor);
|
---|
114 | this.Controls.Add(this.statusStrip1);
|
---|
115 | this.Name = "CodeEditor";
|
---|
116 | this.Size = new System.Drawing.Size(556, 270);
|
---|
117 | this.Resize += new System.EventHandler(this.CodeEditor_Resize);
|
---|
118 | this.statusStrip1.ResumeLayout(false);
|
---|
119 | this.statusStrip1.PerformLayout();
|
---|
120 | this.ResumeLayout(false);
|
---|
121 | this.PerformLayout();
|
---|
122 |
|
---|
123 | }
|
---|
124 | internal System.Windows.Forms.ImageList imageList1;
|
---|
125 | private System.Windows.Forms.ToolStripStatusLabel parserThreadLabel;
|
---|
126 | private System.Windows.Forms.StatusStrip statusStrip1;
|
---|
127 | private ICSharpCode.TextEditor.TextEditorControl textEditor;
|
---|
128 | private System.Windows.Forms.ToolStripStatusLabel sharpDevelopLabel;
|
---|
129 | private System.Windows.Forms.ToolStripStatusLabel errorLabel;
|
---|
130 | }
|
---|
131 | }
|
---|