84
84
UpdateStylePolicy (currentPolicy);
85
85
PropertyService.PropertyChanged += UpdatePreferences;
86
86
FontService.RegisterFontChangedCallback ("Editor", UpdateFont);
87
FontService.RegisterFontChangedCallback ("Editor(Gutter)", UpdateFont);
87
88
FontService.RegisterFontChangedCallback ("MessageBubbles", UpdateFont);
146
148
case "ShowFoldMargin":
147
149
base.ShowFoldMargin = (bool)args.NewValue;
149
case "ShowInvalidLines":
150
base.ShowInvalidLines = (bool)args.NewValue;
153
base.ShowTabs = (bool)args.NewValue;
155
case "ShowEolMarkers":
156
base.ShowEolMarkers = (bool)args.NewValue;
158
151
case "HighlightCaretLine":
159
152
base.HighlightCaretLine = (bool)args.NewValue;
162
base.ShowSpaces = (bool)args.NewValue;
164
154
case "EnableSyntaxHighlighting":
165
155
base.EnableSyntaxHighlighting = (bool)args.NewValue;
197
190
case "UseAntiAliasing":
198
191
base.UseAntiAliasing = (bool)args.NewValue;
193
case "DrawIndentationMarkers":
194
base.DrawIndentationMarkers = (bool)args.NewValue;
196
case "EnableQuickDiff":
197
base.EnableQuickDiff = (bool)args.NewValue;
201
200
} catch (Exception ex) {
202
201
LoggingService.LogError ("SourceEditorOptions error with property value for '" + (args.Key ?? "") + "'", ex);
213
212
this.underlineErrors = PropertyService.Get ("UnderlineErrors", true);
214
213
this.indentStyle = PropertyService.Get ("IndentStyle", IndentStyle.Smart);
215
214
base.ShowLineNumberMargin = PropertyService.Get ("ShowLineNumberMargin", true);
216
base.ShowFoldMargin = PropertyService.Get ("ShowFoldMargin", true);
217
base.ShowInvalidLines = PropertyService.Get ("ShowInvalidLines", false);
218
base.ShowTabs = PropertyService.Get ("ShowTabs", false);
219
base.ShowEolMarkers = PropertyService.Get ("ShowEolMarkers", false);
215
base.ShowFoldMargin = PropertyService.Get ("ShowFoldMargin", false);
220
216
base.HighlightCaretLine = PropertyService.Get ("HighlightCaretLine", false);
221
base.ShowSpaces = PropertyService.Get ("ShowSpaces", false);
222
217
base.EnableSyntaxHighlighting = PropertyService.Get ("EnableSyntaxHighlighting", true);
223
218
base.HighlightMatchingBracket = PropertyService.Get ("HighlightMatchingBracket", true);
224
219
base.ShowRuler = PropertyService.Get ("ShowRuler", false);
225
220
base.FontName = PropertyService.Get ("FontName", "Mono 10");
221
base.GutterFontName = PropertyService.Get ("GutterFontName", "");
226
222
base.ColorScheme = PropertyService.Get ("ColorScheme", "Default");
227
223
this.defaultRegionsFolding = PropertyService.Get ("DefaultRegionsFolding", false);
228
224
this.defaultCommentFolding = PropertyService.Get ("DefaultCommentFolding", true);
233
229
base.EnableAnimations = PropertyService.Get ("EnableAnimations", true);
234
230
base.UseAntiAliasing = PropertyService.Get ("UseAntiAliasing", true);
235
231
this.EnableHighlightUsages = PropertyService.Get ("EnableHighlightUsages", false);
232
base.DrawIndentationMarkers = PropertyService.Get ("DrawIndentationMarkers", false);
236
233
this.lineEndingConversion = PropertyService.Get ("LineEndingConversion", LineEndingConversion.Ask);
234
base.ShowWhitespaces = PropertyService.Get ("ShowWhitespaces", Mono.TextEditor.ShowWhitespaces.Never);
235
base.IncludeWhitespaces = PropertyService.Get ("IncludeWhitespaces", Mono.TextEditor.IncludeWhitespaces.All);
236
base.WrapLines = PropertyService.Get ("WrapLines", false);
237
base.EnableQuickDiff = PropertyService.Get ("EnableQuickDiff", false);
239
240
#region new options
243
244
set { CompletionTextEditorExtension.EnableAutoCodeCompletion.Set (value); }
246
public bool CompleteWithSpaceOrPunctuation {
247
get { return CompletionTextEditorExtension.CompleteWithSpaceOrPunctuation; }
248
set { CompletionTextEditorExtension.CompleteWithSpaceOrPunctuation.Set (value); }
251
247
bool defaultRegionsFolding;
252
248
public bool DefaultRegionsFolding {
569
public override bool ShowInvalidLines {
571
PropertyService.Set ("ShowInvalidLines", value);
572
base.ShowInvalidLines = value;
576
public override bool ShowTabs {
578
PropertyService.Set ("ShowTabs", value);
579
base.ShowTabs = value;
583
public override bool ShowEolMarkers {
585
PropertyService.Set ("ShowEolMarkers", value);
586
base.ShowEolMarkers = value;
590
565
public override bool HighlightCaretLine {
592
567
PropertyService.Set ("HighlightCaretLine", value);
597
public override bool ShowSpaces {
599
PropertyService.Set ("ShowSpaces", value);
600
base.ShowSpaces = value;
604
572
public override bool EnableSyntaxHighlighting {
606
574
PropertyService.Set ("EnableSyntaxHighlighting", value);
614
public override bool DrawIndentationMarkers {
616
PropertyService.Set ("DrawIndentationMarkers", value);
617
base.DrawIndentationMarkers = value;
621
public override ShowWhitespaces ShowWhitespaces {
623
PropertyService.Set ("ShowWhitespaces", value);
624
base.ShowWhitespaces = value;
628
public override IncludeWhitespaces IncludeWhitespaces {
630
PropertyService.Set ("IncludeWhitespaces", value);
631
base.IncludeWhitespaces = value;
635
public override bool WrapLines {
637
PropertyService.Set ("WrapLines", value);
638
base.WrapLines = value;
642
public override bool EnableQuickDiff {
644
PropertyService.Set ("EnableQuickDiff", value);
645
base.EnableQuickDiff = value;
646
649
public override string FontName {
648
651
return FontService.FilterFontName (FontService.GetUnderlyingFontName ("Editor"));
658
public override string GutterFontName {
660
return FontService.FilterFontName (FontService.GetUnderlyingFontName ("Editor(Gutter)"));
663
throw new InvalidOperationException ("Set font through font service");
655
667
public override string ColorScheme {
657
669
string newColorScheme = !String.IsNullOrEmpty (value) ? value : "Default";