Free cookie consent management tool by TermsFeed Policy Generator

source: trunk/sources/HeuristicLab.CodeEditor/3.3/CodeEditor.Designer.cs @ 11756

Last change on this file since 11756 was 11657, checked in by jkarder, 10 years ago

#2262: applied some of the changes suggested by swagner in comment:17:ticket:2262

  • added highlighting of current line
  • added error markers and bookmarks
  • fixed <Ctrl> + <Backspace> bug
  • minor code changes
File size: 5.8 KB
RevLine 
[4068]1namespace 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}
Note: See TracBrowser for help on using the repository browser.