diff options
author | Mike Krüger <mkrueger@xamarin.com> | 2017-09-11 15:29:46 +0300 |
---|---|---|
committer | Mike Krüger <mkrueger@xamarin.com> | 2017-09-11 15:29:46 +0300 |
commit | 4cec82baa464f96f13b839a7c6970a09c549a93d (patch) | |
tree | bbadd22ab1bb5ec36a9e535b876e13b3010c5438 /main/src/core/Mono.TextEditor.Shared/Mono.TextEditor/TextEditorOptions.cs | |
parent | cf4f0d7baf6128ffe864966246db23852bc8cc1e (diff) |
Fixed 'Bug 59287 - [VSFeedback Ticket] #490276 - Automatic Space
Inserted in Parenthesis'
I now fully ported the on typing formatter from roslyn - however that
code should be refactored when we have a working editorfeatures roslyn
subsystem.
Diffstat (limited to 'main/src/core/Mono.TextEditor.Shared/Mono.TextEditor/TextEditorOptions.cs')
-rw-r--r-- | main/src/core/Mono.TextEditor.Shared/Mono.TextEditor/TextEditorOptions.cs | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/main/src/core/Mono.TextEditor.Shared/Mono.TextEditor/TextEditorOptions.cs b/main/src/core/Mono.TextEditor.Shared/Mono.TextEditor/TextEditorOptions.cs index 7e9e50ae55..b63ccba348 100644 --- a/main/src/core/Mono.TextEditor.Shared/Mono.TextEditor/TextEditorOptions.cs +++ b/main/src/core/Mono.TextEditor.Shared/Mono.TextEditor/TextEditorOptions.cs @@ -28,6 +28,7 @@ using System; using System.Diagnostics; using Mono.TextEditor.Highlighting; using MonoDevelop.Ide.Editor.Highlighting; +using MonoDevelop.Core; namespace Mono.TextEditor { @@ -396,7 +397,7 @@ namespace Mono.TextEditor try { font = Pango.FontDescription.FromString (FontName); } catch { - Console.WriteLine ("Could not load font: {0}", FontName); + LoggingService.LogError("Could not load text editor font"); } if (font == null || String.IsNullOrEmpty (font.Family)) font = Pango.FontDescription.FromString (DEFAULT_FONT); @@ -427,7 +428,7 @@ namespace Mono.TextEditor if (!string.IsNullOrEmpty (GutterFontName)) gutterFont = Pango.FontDescription.FromString (GutterFontName); } catch { - Console.WriteLine ("Could not load gutter font: {0}", GutterFontName); + LoggingService.LogError("Error while loading gutter font."); } if (gutterFont == null || String.IsNullOrEmpty (gutterFont.Family)) gutterFont = Gtk.Widget.DefaultStyle.FontDescription.Copy (); |