IntenseWebs/pgadmin4
3
0
Fork 0
mirror of https://github.com/pgadmin-org/pgadmin4.git synced 2024-11-26 02:30:21 -06:00
Code Issues Packages Projects Releases Wiki Activity

Ensure the SQL editor has enough space to show block folding arrows in the gutter.

Browse Source
This commit is contained in:
Khushboo Vashi 2016-12-19 11:35:27 +00:00 committed by Dave Page
parent 5adc6b71ca
commit 5008872203
1 changed files with 7 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

10
web/pgadmin/tools/sqleditor/static/css/sqleditor.css
View File

@ -155,9 +155,13 @@
cursor: pointer;
}
.CodeMirror, #editor-panel .CodeMirror-gutters {
min-height: 100%;
height: 100%;
.CodeMirror {
min-height: 100%;
height: 100%;
}
#editor-panel .CodeMirror-gutter {
min-width: 1em;
}
#output-panel {