void SetOptions() { var name = IdeServices.FontService.FilterFontName(IdeServices.FontService.GetUnderlyingFontName("Editor")); hexEditor.Options.FontName = name; hexEditor.PurgeLayoutCaches(); hexEditor.Repaint(); }
public void Repaint() { editor.Repaint(); }
void SetOptions() { hexEditor.Options.FontName = MonoDevelop.SourceEditor.DefaultSourceEditorOptions.Instance.FontName; hexEditor.PurgeLayoutCaches(); hexEditor.Repaint(); }