Beispiel #1
0
        /// <summary>
        /// Creates a new controller
        /// </summary>
        /// <param name="nodeProviderBroker"></param>
        /// <param name="subjectBuffers"></param>
        /// <param name="textView"></param>
        /// <param name="brokerMapService"></param>
        public Controller(ControllerProvider provider, ITextBuffer buffer, ITextView textView)
        {
            this.provider = provider;
            this.buffer   = buffer;
            this.textView = textView;

            textView.MouseHover += new EventHandler <MouseHoverEventArgs>(textView_MouseHover);
        }
Beispiel #2
0
        /// <summary>
        /// Creates a new controller
        /// </summary>
        /// <param name="nodeProviderBroker"></param>
        /// <param name="subjectBuffers"></param>
        /// <param name="textView"></param>
        /// <param name="brokerMapService"></param>
        public Controller(ControllerProvider provider, ITextBuffer buffer, ITextView textView)
        {
            this.provider = provider;
            this.buffer = buffer;
            this.textView = textView;

            textView.MouseHover += new EventHandler<MouseHoverEventArgs>(textView_MouseHover);
        }
Beispiel #3
0
        /// <summary>
        /// Creates a new controller
        /// </summary>
        /// <param name="nodeProviderBroker"></param>
        /// <param name="subjectBuffers"></param>
        /// <param name="textView"></param>
        /// <param name="brokerMapService"></param>
        public Controller(ControllerProvider provider, IList<ITextBuffer> subjectBuffers, ITextView textView, IEnvironment context)
        {
            this.provider = provider;
            this.subjectBuffers = subjectBuffers;
            this.textView = textView;
            this.context = context;

            textView.MouseHover += new EventHandler<MouseHoverEventArgs>(textView_MouseHover);
        }