scrollToOffset method

Future<void> scrollToOffset(
  1. double offsetLines
)

Implementation

Future<void> scrollToOffset(double offsetLines) async {
  TerminalScrollTrace.log(
    'client',
    'scrollToOffset($offsetLines) before ${_gridPosSnapshot()}',
  );
  if (_rasterHotPath) {
    _applyRasterFrame(await _raster!.scrollToOffsetRaster(offsetLines));
  } else {
    _applyScrollUpdate(await _binding.scrollToOffset(offsetLines));
  }
  TerminalScrollTrace.log(
    'client',
    'scrollToOffset($offsetLines) after ${_gridPosSnapshot()}',
  );
}