Esempi in C# (CSharp) per DafnyLanguage DafnyQuickInfoControllerProvider

Esempio n. 1

File: HoverText.cs Progetto: ggrov/tacny

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

            _textView.MouseHover += this.OnTextViewMouseHover;
        }

Esempio n. 2

File: HoverText.cs Progetto: dbremner/dafny

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

              _textView.MouseHover += this.OnTextViewMouseHover;
        }