IntenseWebs/pgadmin4
3
0
Fork 0
mirror of https://github.com/pgadmin-org/pgadmin4.git synced 2025-02-25 18:55:31 -06:00
Code Issues Packages Projects Releases Wiki Activity

Use the full tab space for CodeMirror instances on dialogues where appropriate. Fixes #4540

Browse Source
This commit is contained in:
Akshay Joshi
2019-08-02 10:25:21 +01:00
committed by Dave Page
parent aab5fadc01
commit 537c27a58e
49 changed files with 121 additions and 67 deletions
Download Patch File Download Diff File Expand all files Collapse all files

9
web/pgadmin/static/scss/_pgadmin.style.scss
View File

@@ -518,6 +518,15 @@ fieldset.inline-fieldset > div {
}
}
.tab-pane.sql-code-control {
@extend .tab-pane.SQL;
& .pgadmin-control-group{
margin: 0px;
padding: 0px;
height: 100%;
}
}
.pgadmin-controls input[type="checkbox"]{
margin-left: 0 !important;
margin-top: 10px !important;