@override void onPanUpdate(Terminal terminal, Position offset) { terminal.selection!.update(offset); }