fen 98222e762f Merge pull request 'History: pagination survives search/sort, pager pinned to page bottom' (#140) from fix-133-paging into dev

2026-09-10 04:14:20 +00:00

..

app.css

Merge pull request 'History: pagination survives search/sort, pager pinned to page bottom' (#140) from fix-133-paging into dev

2026-09-10 04:14:20 +00:00

table.js

History: keep pagination over filtered/sorted set, pin pager to page bottom (#133)

2026-09-09 22:48:25 -05:00