Fix the gutter height of the editor when the parent is resized.
Branch
------
master
Details
-------
http://git.postgresql.org/gitweb?p=pgadmin4.git;a=commitdiff;h=b09c1b6c68529d48dd750ecbe224641935dbeb6f
Modified Files
--------------
web/pgadmin/browser/templates/browser/body.html | 14 +++++++++++++-
web/pgadmin/browser/views.py | 4 ++--
web/pgadmin/settings/settings_model.py | 8 ++++++++
web/pgadmin/static/css/overrides.css | 5 +++++
web/pgadmin/templates/base.html | 1 -
web/setup.py | 8 +++++++-
6 files changed, 35 insertions(+), 5 deletions(-)