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.dh...@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(-)
