Free cookie consent management tool by TermsFeed Policy Generator

source: trunk/sources/HeuristicLab.CodeEditor/3.2/CodeEditor.Designer.cs @ 2689

Last change on this file since 2689 was 2672, checked in by epitzer, 15 years ago

Add InvokeRequired in Dispose method to prevent cross-thread access exception (#842)

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