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(dot)dhope(at)enterprisedb(dot)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(-)