pgAdmin 4 commit: Fix following scroll bar issues: - Mailing list pgadmin-hackers

Fix following scroll bar issues:
1) Stop overwriting the text in the scroll bar area.
2) Make scroll bars functional.

Branch
------
master

Details
-------
https://git.postgresql.org/gitweb?p=pgadmin4.git;a=commitdiff;h=be31fb08f1d4e234397737b912c2bc53f11aca80
Author: Nikhil Mohite <nikhil.mohite@enterprisedb.com>

Modified Files
--------------
web/pgadmin/static/js/backform.pgadmin.js          | 1 +
web/pgadmin/static/scss/_codemirror.overrides.scss | 8 +-------
2 files changed, 2 insertions(+), 7 deletions(-)