public PromptMargin(IWpfTextViewHost wpfTextViewHost, IEditorFormatMap editorFormatMap)
{
_textView = wpfTextViewHost.TextView;
_editorFormatMap = editorFormatMap;
_promptProvider = ReplWindow.FromBuffer(_textView.TextBuffer);
_promptProvider.MarginVisibilityChanged += new Action(OnMarginVisibilityChanged);
_visualManager = new PromptMarginVisualManager(this, editorFormatMap);
_visualManager.MarginVisual.IsVisibleChanged += this.OnIsVisibleChanged;
OnMarginVisibilityChanged();
}
public IGlyphFactory GetGlyphFactory(IWpfTextView /*!*/ view, IWpfTextViewMargin /*!*/ margin)
{
ReplWindow repl = ReplWindow.FromBuffer(view.TextBuffer);
return((repl != null) ? new GlyphFactory(repl) : null);
}
public ITagger <T> CreateTagger <T>(ITextBuffer /*!*/ buffer) where T : ITag
{
ReplWindow repl = ReplWindow.FromBuffer(buffer);
return((repl != null) ? (ITagger <T>)(object) new Tagger(repl) : null);
}
