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);
}
