pgAdmin 4 commit: Fix the gutter height of the editor when the parent i

Поиск
Список
Период
Сортировка
От Dave Page
Тема pgAdmin 4 commit: Fix the gutter height of the editor when the parent i
Дата
Msg-id E1YMG4A-0006DS-Vp@gothos.postgresql.org
обсуждение исходный текст
Список pgadmin-hackers
Дерево обсуждения 
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(-)

В списке pgadmin-hackers по дате отправления:

Предыдущее
От: Dave Page
Дата:
Сообщение: pgAdmin 4 commit: Oh look, a syntax highlighting, line numbering, block
Следующее
От: Dave Page
Дата:
Сообщение: pgAdmin 4 commit: The previous commit inadvertently added parts of the