diff options
author | Mike Krüger <mkrueger@xamarin.com> | 2014-02-17 13:22:48 +0400 |
---|---|---|
committer | Mike Krüger <mkrueger@xamarin.com> | 2014-02-17 13:22:48 +0400 |
commit | 98431952f0cfeb6e827167b7057f0c5a6d25415f (patch) | |
tree | e5ce0af2e2dd7bac7961fbb1002c2dde27ed7586 /main/src/addins/MonoDevelop.HexEditor | |
parent | ee3e0169c93b63e00694b8b696604d006ed554b1 (diff) |
[HexEditor] Filter font name.
Diffstat (limited to 'main/src/addins/MonoDevelop.HexEditor')
-rw-r--r-- | main/src/addins/MonoDevelop.HexEditor/MonoDevelop.HexEditor/HexEditorView.cs | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/main/src/addins/MonoDevelop.HexEditor/MonoDevelop.HexEditor/HexEditorView.cs b/main/src/addins/MonoDevelop.HexEditor/MonoDevelop.HexEditor/HexEditorView.cs index 4be398a0f6..b4f8bc4820 100644 --- a/main/src/addins/MonoDevelop.HexEditor/MonoDevelop.HexEditor/HexEditorView.cs +++ b/main/src/addins/MonoDevelop.HexEditor/MonoDevelop.HexEditor/HexEditorView.cs @@ -61,7 +61,8 @@ namespace MonoDevelop.HexEditor void SetOptions () { - hexEditor.Options.FontName = FontService.GetUnderlyingFontName ("Editor"); + var name = FontService.FilterFontName (FontService.GetUnderlyingFontName ("Editor")); + hexEditor.Options.FontName = name; hexEditor.PurgeLayoutCaches (); hexEditor.Repaint (); } |