C# (CSharp) DafnyLanguage DafnyQuickInfoControllerProvider Examples

Example #1

File: HoverText.cs Project: ggrov/tacny

        internal DafnyQuickInfoController(ITextView textView, IList <ITextBuffer> subjectBuffers, DafnyQuickInfoControllerProvider componentContext)
        {
            _textView         = textView;
            _subjectBuffers   = subjectBuffers;
            _componentContext = componentContext;

            _textView.MouseHover += this.OnTextViewMouseHover;
        }

Example #2

File: HoverText.cs Project: dbremner/dafny

        internal DafnyQuickInfoController(ITextView textView, IList<ITextBuffer> subjectBuffers, DafnyQuickInfoControllerProvider componentContext)
        {
            _textView = textView;
              _subjectBuffers = subjectBuffers;
              _componentContext = componentContext;

              _textView.MouseHover += this.OnTextViewMouseHover;
        }