private static void OnOptionChanged(DependencyObject dp, DependencyPropertyChangedEventArgs e)
        {
            GlyphProperties option = dp as GlyphProperties;

            option.Reset();
            if (option.OptionChanged != null)
            {
                option.OptionChanged(option, EventArgs.Empty);
            }
        }
示例#2
0
        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);
        }