Обсуждение: pgAdmin 4 commit: Fix the gutter height of the editor when the parent i

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