void jumpToRow(int rowIndex, {required double rowHeight}) { if (!verticalController.hasClients) return; final offset = rowIndex * rowHeight; verticalController.jumpTo(offset); }