Thread: pgAdmin 4 commit: Fixed slider jump issue by making an API call to fetc

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(-)