Fixed slider jump issue by making an API call to fetch the next batch of rows only after a user stops scrolling down.
Fixes#3269
Branch
------
master
Details
-------
https://git.postgresql.org/gitweb?p=pgadmin4.git;a=commitdiff;h=5e91ed2bb1123b7bc7a96ee783d50b8b8b2f716b
Author: Nagesh Dhope <nagesh.dhope@enterprisedb.com>
Modified Files
--------------
web/pgadmin/tools/sqleditor/__init__.py | 5 +++--
web/pgadmin/tools/sqleditor/static/js/sqleditor.js | 19 ++++++++++++-------
2 files changed, 15 insertions(+), 9 deletions(-)