Query tool data grid - Infinite scroll vs Pagination

Hi Hackers,

Query tool data grid currently pulls the data on load basis in batches. For
example, it will initially load only 1000 rows and once a user scrolls to
the 1000th row, it will fetch the next batch of 1000.
Many users who want access in between rows or last row struggle to do it as
the user has to scroll and scroll. If someone grabs the scroller and pulls
it down still it will be a good UX and the scrollbar may jump. One reported
here - https://github.com/pgadmin-org/pgadmin4/issues/1780
One more aspect to this is the in memory data of the query tool which keep
on increasing on each scroll, it affects the performance.

I propose we should use pagination instead of infinite scroll with the
following advantages:
1. Users can jump to any page they want.
2. Users can change the page size on the grid directly.
3. Memory will be used only for visible rows so performance improvement.
4. Predictable UI, no jumping scrollbars.

Let me know what you think.

--
Thanks,
Aditya Toshniwal
pgAdmin Hacker | Sr. Software Architect | *enterprisedb.com*
<https://www.enterprisedb.com/>
"Don't Complain about Heat, Plant a TREE"