void ScrollToRow(int row) { if (row != Terminal.Buffer.YDisp) { Terminal.Buffer.YDisp = row; // tell the terminal we want to refresh all the rows Terminal.Refresh(0, Terminal.Rows); // do the display update UpdateDisplay(); selectionView.NotifyScrolled(); TerminalScrolled?.Invoke(ScrollPosition); } }
void Terminal_Scrolled(Terminal terminal, int yDisp) { selectionView.NotifyScrolled(); TerminalScrolled?.Invoke(ScrollPosition); }