Free cookie consent management tool by TermsFeed Policy Generator

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

Last change on this file since 3712 was 2719, checked in by epitzer, 15 years ago

try a different method for signaling the parser thread to terminate (#842)

File size: 5.8 KB
Line 
1using System;
2namespace 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}
Note: See TracBrowser for help on using the repository browser.