diff options
author | William Desportes <williamdes@wdes.fr> | 2018-05-04 13:06:44 +0300 |
---|---|---|
committer | MaurĂcio Meneghini Fauth <mauriciofauth@gmail.com> | 2018-05-05 05:39:17 +0300 |
commit | 0d2f70c875804fd0a1a1fb951c4916c10a3a056d (patch) | |
tree | 532bffeea07dfa4742527bc8e53232b7d7947e27 /themes | |
parent | ea1e3a2578e5fe7287b7001f6ff181811bdb79af (diff) |
Patch for #14257 CodeMirror hints hidden
[CI skip]
Signed-off-by: William Desportes <williamdes@wdes.fr>
(cherry picked from commit 24f483793cf6c6857ff856a03ac0c44a71ef7b6c)
Signed-off-by: MaurĂcio Meneghini Fauth <mauriciofauth@gmail.com>
Diffstat (limited to 'themes')
-rw-r--r-- | themes/pmahomme/css/codemirror.css.php | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/themes/pmahomme/css/codemirror.css.php b/themes/pmahomme/css/codemirror.css.php index 84a7e56d25..d25cc69f2f 100644 --- a/themes/pmahomme/css/codemirror.css.php +++ b/themes/pmahomme/css/codemirror.css.php @@ -73,7 +73,7 @@ span.cm-number { margin-left: 1em; } .CodeMirror-hints { - z-index: 200; + z-index: 999; } .CodeMirror-lint-tooltip { z-index: 200; |