31 |
this.components = new System.ComponentModel.Container(); |
this.components = new System.ComponentModel.Container(); |
32 |
Fireball.Windows.Forms.LineMarginRender lineMarginRender1 = new Fireball.Windows.Forms.LineMarginRender(); |
Fireball.Windows.Forms.LineMarginRender lineMarginRender1 = new Fireball.Windows.Forms.LineMarginRender(); |
33 |
System.ComponentModel.ComponentResourceManager resources = new System.ComponentModel.ComponentResourceManager(typeof(ScratchPadDocument)); |
System.ComponentModel.ComponentResourceManager resources = new System.ComponentModel.ComponentResourceManager(typeof(ScratchPadDocument)); |
34 |
this.codeEditorControl1 = new Fireball.Windows.Forms.CodeEditorControl(); |
this.txtEditor = new Fireball.Windows.Forms.CodeEditorControl(); |
35 |
this.syntaxDocument1 = new Fireball.Syntax.SyntaxDocument(this.components); |
this.syntaxDocument1 = new Fireball.Syntax.SyntaxDocument(this.components); |
36 |
this.toolStrip1 = new System.Windows.Forms.ToolStrip(); |
this.toolStrip1 = new System.Windows.Forms.ToolStrip(); |
37 |
this.mnuItemOpen = new System.Windows.Forms.ToolStripButton(); |
this.mnuItemOpen = new System.Windows.Forms.ToolStripButton(); |
38 |
this.mnuItemSave = new System.Windows.Forms.ToolStripButton(); |
this.mnuItemSave = new System.Windows.Forms.ToolStripButton(); |
39 |
this.mnuItemClose = new System.Windows.Forms.ToolStripButton(); |
this.mnuItemClose = new System.Windows.Forms.ToolStripButton(); |
40 |
|
this.FileLoader = new System.Windows.Forms.OpenFileDialog(); |
41 |
|
this.FileSaver = new System.Windows.Forms.SaveFileDialog(); |
42 |
this.toolStrip1.SuspendLayout(); |
this.toolStrip1.SuspendLayout(); |
43 |
this.SuspendLayout(); |
this.SuspendLayout(); |
44 |
// |
// |
45 |
// codeEditorControl1 |
// txtEditor |
46 |
// |
// |
47 |
this.codeEditorControl1.ActiveView = Fireball.Windows.Forms.CodeEditor.ActiveView.BottomRight; |
this.txtEditor.ActiveView = Fireball.Windows.Forms.CodeEditor.ActiveView.BottomRight; |
48 |
this.codeEditorControl1.AutoListPosition = null; |
this.txtEditor.AutoListPosition = null; |
49 |
this.codeEditorControl1.AutoListSelectedText = "a123"; |
this.txtEditor.AutoListSelectedText = "a123"; |
50 |
this.codeEditorControl1.AutoListVisible = false; |
this.txtEditor.AutoListVisible = false; |
51 |
this.codeEditorControl1.CopyAsRTF = false; |
this.txtEditor.CopyAsRTF = false; |
52 |
this.codeEditorControl1.Dock = System.Windows.Forms.DockStyle.Fill; |
this.txtEditor.Dock = System.Windows.Forms.DockStyle.Fill; |
53 |
this.codeEditorControl1.Document = this.syntaxDocument1; |
this.txtEditor.Document = this.syntaxDocument1; |
54 |
this.codeEditorControl1.InfoTipCount = 1; |
this.txtEditor.InfoTipCount = 1; |
55 |
this.codeEditorControl1.InfoTipPosition = null; |
this.txtEditor.InfoTipPosition = null; |
56 |
this.codeEditorControl1.InfoTipSelectedIndex = 1; |
this.txtEditor.InfoTipSelectedIndex = 1; |
57 |
this.codeEditorControl1.InfoTipVisible = false; |
this.txtEditor.InfoTipVisible = false; |
58 |
lineMarginRender1.Bounds = new System.Drawing.Rectangle(19, 0, 19, 16); |
lineMarginRender1.Bounds = new System.Drawing.Rectangle(19, 0, 19, 16); |
59 |
this.codeEditorControl1.LineMarginRender = lineMarginRender1; |
this.txtEditor.LineMarginRender = lineMarginRender1; |
60 |
this.codeEditorControl1.Location = new System.Drawing.Point(0, 25); |
this.txtEditor.Location = new System.Drawing.Point(0, 25); |
61 |
this.codeEditorControl1.LockCursorUpdate = false; |
this.txtEditor.LockCursorUpdate = false; |
62 |
this.codeEditorControl1.Name = "codeEditorControl1"; |
this.txtEditor.Name = "txtEditor"; |
63 |
this.codeEditorControl1.Saved = false; |
this.txtEditor.Saved = false; |
64 |
this.codeEditorControl1.ShowScopeIndicator = false; |
this.txtEditor.ShowScopeIndicator = false; |
65 |
this.codeEditorControl1.Size = new System.Drawing.Size(913, 521); |
this.txtEditor.Size = new System.Drawing.Size(913, 521); |
66 |
this.codeEditorControl1.SmoothScroll = false; |
this.txtEditor.SmoothScroll = false; |
67 |
this.codeEditorControl1.SplitviewH = -4; |
this.txtEditor.SplitviewH = -4; |
68 |
this.codeEditorControl1.SplitviewV = -4; |
this.txtEditor.SplitviewV = -4; |
69 |
this.codeEditorControl1.TabGuideColor = System.Drawing.Color.FromArgb(((int)(((byte)(233)))), ((int)(((byte)(233)))), ((int)(((byte)(233))))); |
this.txtEditor.TabGuideColor = System.Drawing.Color.FromArgb(((int)(((byte)(233)))), ((int)(((byte)(233)))), ((int)(((byte)(233))))); |
70 |
this.codeEditorControl1.TabIndex = 0; |
this.txtEditor.TabIndex = 0; |
71 |
this.codeEditorControl1.Text = "codeEditorControl1"; |
this.txtEditor.Text = "codeEditorControl1"; |
72 |
this.codeEditorControl1.WhitespaceColor = System.Drawing.SystemColors.ControlDark; |
this.txtEditor.WhitespaceColor = System.Drawing.SystemColors.ControlDark; |
73 |
// |
// |
74 |
// syntaxDocument1 |
// syntaxDocument1 |
75 |
// |
// |
118 |
this.mnuItemClose.Text = "&Close"; |
this.mnuItemClose.Text = "&Close"; |
119 |
this.mnuItemClose.Click += new System.EventHandler(this.mnuItemClose_Click); |
this.mnuItemClose.Click += new System.EventHandler(this.mnuItemClose_Click); |
120 |
// |
// |
121 |
|
// FileLoader |
122 |
|
// |
123 |
|
this.FileLoader.Filter = "All files|*.*"; |
124 |
|
this.FileLoader.SupportMultiDottedExtensions = true; |
125 |
|
this.FileLoader.Title = "Please choose the file to open"; |
126 |
|
// |
127 |
|
// FileSaver |
128 |
|
// |
129 |
|
this.FileSaver.Filter = "All files|*.*"; |
130 |
|
this.FileSaver.SupportMultiDottedExtensions = true; |
131 |
|
this.FileSaver.Title = "Please choose the file to save"; |
132 |
|
// |
133 |
// ScratchPadDocument |
// ScratchPadDocument |
134 |
// |
// |
135 |
this.AutoScaleDimensions = new System.Drawing.SizeF(6F, 13F); |
this.AutoScaleDimensions = new System.Drawing.SizeF(6F, 13F); |
136 |
this.AutoScaleMode = System.Windows.Forms.AutoScaleMode.Font; |
this.AutoScaleMode = System.Windows.Forms.AutoScaleMode.Font; |
137 |
this.Controls.Add(this.codeEditorControl1); |
this.Controls.Add(this.txtEditor); |
138 |
this.Controls.Add(this.toolStrip1); |
this.Controls.Add(this.toolStrip1); |
139 |
this.Name = "ScratchPadDocument"; |
this.Name = "ScratchPadDocument"; |
140 |
this.Size = new System.Drawing.Size(913, 546); |
this.Size = new System.Drawing.Size(913, 546); |
147 |
|
|
148 |
#endregion |
#endregion |
149 |
|
|
150 |
private Fireball.Windows.Forms.CodeEditorControl codeEditorControl1; |
private Fireball.Windows.Forms.CodeEditorControl txtEditor; |
151 |
private Fireball.Syntax.SyntaxDocument syntaxDocument1; |
private Fireball.Syntax.SyntaxDocument syntaxDocument1; |
152 |
private System.Windows.Forms.ToolStrip toolStrip1; |
private System.Windows.Forms.ToolStrip toolStrip1; |
153 |
private System.Windows.Forms.ToolStripButton mnuItemOpen; |
private System.Windows.Forms.ToolStripButton mnuItemOpen; |
154 |
private System.Windows.Forms.ToolStripButton mnuItemSave; |
private System.Windows.Forms.ToolStripButton mnuItemSave; |
155 |
private System.Windows.Forms.ToolStripButton mnuItemClose; |
private System.Windows.Forms.ToolStripButton mnuItemClose; |
156 |
|
private System.Windows.Forms.OpenFileDialog FileLoader; |
157 |
|
private System.Windows.Forms.SaveFileDialog FileSaver; |
158 |
} |
} |
159 |
} |
} |