Example #1
0
        public ResultsPanel()
        {
            InitializeComponent();

            ResultsScintilla.Styles[ScintillaNET.Style.Default].Font = "Consolas";
            ResultsScintilla.Styles[ScintillaNET.Style.Default].Size = 10;

            ResultsScintilla.ClearAll();

            ResultsScintilla.Scintilla.KeyUp            += KeyUpEventHandler;
            ResultsScintilla.Scintilla.MouseClick       += MouseClickEventHandler;
            ResultsScintilla.Scintilla.MouseDoubleClick += MouseClickEventHandler;
        }
Example #2
0
        private void MouseClickEventHandler(object?sender, MouseEventArgs e)
        {
            if (Scintilla == null)
            {
                return;
            }

            var pos = ResultsScintilla.CharPositionFromPointClose(e.Location.X, e.Location.Y);

            if (pos == -1)
            {
                return;
            }

            Results?.GoToPosition(pos, Scintilla, ResultsScintilla.Scintilla);
        }