gian/phpmyadmin
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

Merge pull request #14258 from williamdes/issue-14257-codemirror-hints

Browse Source 
Patch for #14257 CodeMirror hints hidden
This commit is contained in:
Maurício Meneghini Fauth 2018-05-04 23:28:43 -03:00 committed by GitHub
commit 29115645f3
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
2 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
themes/metro/css/codemirror.css.php
View File

@ -73,5 +73,5 @@ span.cm-number {
margin-left: 1em;
}
.CodeMirror-hints {
z-index: 200;
z-index: 999;
}

2
themes/pmahomme/css/codemirror.css.php
View File

@ -73,7 +73,7 @@ span.cm-number {
margin-left: 1em;
}
.CodeMirror-hints {
z-index: 200;
z-index: 999;
}
.CodeMirror-lint-tooltip {
z-index: 200;