private static void OnOptionChanged(DependencyObject dp, DependencyPropertyChangedEventArgs e)
{
GlyphProperties option = dp as GlyphProperties;
option.Reset();
if (option.OptionChanged != null)
{
option.OptionChanged(option, EventArgs.Empty);
}
}
public RenderView()
{
_renderContext = new RenderContext();
_bgRenderers = new List <IRenderable>();
_lineRenderer = new VisualLineRenderer(this);
_lineNumRenderer = new LineNumberRenderer(this);
_allVisualLines = new List <VisualLine>();
GlyphOption = new GlyphProperties();
_highlighter = HighlightingFactory.GetInstance().GetHighlighter(Syntax);
_highlightRuler = HighlightingFactory.GetInstance().GetHighlightRuler(Syntax);
}