Result pagination in the Workbench grid.
Large result sets render every row into the DOM. Add simple client-side pagination (e.g. 200 rows/page with Prev/Next + a page indicator) over the already-fetched rows, so the grid stays responsive.
Where
drawGrid() / the results pane in v2/src/ui.cpp.
Acceptance criteria
- A 5000-row result paginates smoothly.
- Sort, filter, and the editable-grid behavior keep working; edits/deletes still map to the correct rows by primary key.
- Rebuild the playground (
./build_wasm.sh).
See CONTRIBUTING.md and comment here to claim it.
Result pagination in the Workbench grid.
Large result sets render every row into the DOM. Add simple client-side pagination (e.g. 200 rows/page with Prev/Next + a page indicator) over the already-fetched rows, so the grid stays responsive.
Where
drawGrid()/ the results pane inv2/src/ui.cpp.Acceptance criteria
./build_wasm.sh).See CONTRIBUTING.md and comment here to claim it.