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();
}
