87 |
} |
} |
88 |
} |
} |
89 |
|
|
90 |
|
public override Font Font |
91 |
|
{ |
92 |
|
get |
93 |
|
{ |
94 |
|
return base.Font; |
95 |
|
} |
96 |
|
set |
97 |
|
{ |
98 |
|
base.Font = value; |
99 |
|
txtEditor.Font = base.Font; |
100 |
|
mnuItemClose.Font = base.Font; |
101 |
|
mnuItemOpen.Font = base.Font; |
102 |
|
mnuItemSave.Font = base.Font; |
103 |
|
} |
104 |
|
} |
105 |
|
|
106 |
private void mnuItemOpen_Click(object sender, EventArgs e) |
private void mnuItemOpen_Click(object sender, EventArgs e) |
107 |
{ |
{ |
108 |
OpenDocument(); |
OpenDocument(); |
141 |
sr.Close(); |
sr.Close(); |
142 |
|
|
143 |
txtEditor.Document = new Fireball.Syntax.SyntaxDocument(); |
txtEditor.Document = new Fireball.Syntax.SyntaxDocument(); |
144 |
|
//txtEditor.Font = new System.Drawing.Font(this.Font.FontFamily, this.Font.SizeInPoints); |
145 |
txtEditor.Document.Text = text; |
txtEditor.Document.Text = text; |
146 |
SyntaxLanguage language = SyntaxLanguage.Text; |
SyntaxLanguage language = SyntaxLanguage.Text; |
147 |
CodeEditorSyntaxLoader.SetSyntax(txtEditor, language); |
CodeEditorSyntaxLoader.SetSyntax(txtEditor, language); |