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

Properly size the SQL Editor gutter as the width of the line numbers increases. Fixes #1780

Browse Source
This commit is contained in:
Khushboo Vashi
2016-12-16 13:04:16 +00:00
committed by Dave Page
parent 1431dfcb01
commit 53ea991907
4 changed files with 13 additions and 30 deletions
Download Patch File Download Diff File Expand all files Collapse all files

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

@@ -157,24 +157,13 @@
.CodeMirror, #editor-panel .CodeMirror-gutters {
min-height: 100%;
height: 100%;
}
/* Changes specific to output panel of query tool */
#output-panel, #output-panel .CodeMirror, #output-panel .CodeMirror-gutters {
#output-panel {
height: 100% !important;
}
#output-panel .CodeMirror-gutter-wrapper {
width: 43px;
height: 22px;
border-right: 1px solid #ddd !important;
background: #f7f7f7 !important;
}
.CodeMirror-foldgutter {
width: .9em;
}
.CodeMirror-foldgutter-open,
.CodeMirror-foldgutter-folded {
cursor: pointer;
@@ -431,8 +420,8 @@ input.editor-checkbox {
Ref: https://github.com/mleibman/SlickGrid/issues/742
*/
.slickgrid, .slickgrid *, .slick-header-column {
box-sizing: content-box;
-moz-box-sizing: content-box;
-webkit-box-sizing: content-box;
-ms-box-sizing: content-box;
}
box-sizing: content-box;
-moz-box-sizing: content-box;
-webkit-box-sizing: content-box;
-ms-box-sizing: content-box;
}