Free cookie consent management tool by TermsFeed Policy Generator

source: branches/GP-MoveOperators/HeuristicLab.CodeEditor/3.3/CodeEditor.Designer.cs @ 10015

Last change on this file since 10015 was 8085, checked in by gkronber, 13 years ago

#1847: merged trunk changes r7800:HEAD into gp move operators branch

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      //
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)));
51      this.textEditor.ConvertTabsToSpaces = true;
52      this.textEditor.IndentStyle = ICSharpCode.TextEditor.Document.IndentStyle.Auto;
53      this.textEditor.IsIconBarVisible = true;
54      this.textEditor.IsReadOnly = false;
55      this.textEditor.Location = new System.Drawing.Point(0, 0);
56      this.textEditor.Name = "textEditor";
57      this.textEditor.ShowEOLMarkers = true;
58      this.textEditor.ShowSpaces = true;
59      this.textEditor.ShowTabs = true;
60      this.textEditor.ShowVRuler = false;
[2667]61      this.textEditor.Size = new System.Drawing.Size(556, 245);
[2659]62      this.textEditor.TabIndent = 2;
63      this.textEditor.TabIndex = 0;
64      //
65      // statusStrip1
66      //
67      this.statusStrip1.Items.AddRange(new System.Windows.Forms.ToolStripItem[] {
68            this.parserThreadLabel,
69            toolStripFiller,
70            this.errorLabel,
71            this.sharpDevelopLabel});
72      this.statusStrip1.Location = new System.Drawing.Point(0, 248);
73      this.statusStrip1.Name = "statusStrip1";
74      this.statusStrip1.Size = new System.Drawing.Size(556, 22);
75      this.statusStrip1.TabIndex = 1;
76      this.statusStrip1.Text = "statusStrip1";
77      //
78      // parserThreadLabel
79      //
80      this.parserThreadLabel.Name = "parserThreadLabel";
81      this.parserThreadLabel.Size = new System.Drawing.Size(39, 17);
82      this.parserThreadLabel.Text = "Ready";
83      //
84      // errorLabel
85      //
86      this.errorLabel.ForeColor = System.Drawing.Color.Red;
87      this.errorLabel.Name = "errorLabel";
88      this.errorLabel.Size = new System.Drawing.Size(0, 17);
89      //
90      // sharpDevelopLabel
91      //
92      this.sharpDevelopLabel.Font = new System.Drawing.Font("Segoe UI", 8.25F, System.Drawing.FontStyle.Italic, System.Drawing.GraphicsUnit.Point, ((byte)(0)));
93      this.sharpDevelopLabel.IsLink = true;
94      this.sharpDevelopLabel.Name = "sharpDevelopLabel";
95      this.sharpDevelopLabel.Size = new System.Drawing.Size(107, 17);
96      this.sharpDevelopLabel.Tag = "http://www.icsharpcode.net/OpenSource/SD/";
97      this.sharpDevelopLabel.Text = "powered by #develop";
98      this.sharpDevelopLabel.ToolTipText = "Syntax highlighting and code completion facilities provided through #develop libr" +
99          "aries";
100      this.sharpDevelopLabel.Click += new System.EventHandler(this.toolStripStatusLabel1_Click);
101      //
102      // imageList1
103      //
104      this.imageList1.ColorDepth = System.Windows.Forms.ColorDepth.Depth32Bit;
105      this.imageList1.ImageSize = new System.Drawing.Size(16, 16);
106      this.imageList1.TransparentColor = System.Drawing.Color.White;
107      //
108      // CodeEditor
109      //
110      this.AutoScaleDimensions = new System.Drawing.SizeF(6F, 13F);
[8085]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.