From 24f483793cf6c6857ff856a03ac0c44a71ef7b6c Mon Sep 17 00:00:00 2001
From: William Desportes <williamdes@wdes.fr>
Date: Fri, 4 May 2018 12:06:44 +0200
Subject: [PATCH] Patch for #14257 CodeMirror hints hidden

[CI skip]

Signed-off-by: William Desportes <williamdes@wdes.fr>
---
 themes/metro/css/codemirror.css.php    | 2 +-
 themes/pmahomme/css/codemirror.css.php | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

diff --git a/themes/metro/css/codemirror.css.php b/themes/metro/css/codemirror.css.php
index de6595324d..2b855a314f 100644
--- a/themes/metro/css/codemirror.css.php
+++ b/themes/metro/css/codemirror.css.php
@@ -73,5 +73,5 @@ span.cm-number {
     margin-left: 1em;
 }
 .CodeMirror-hints {
-    z-index: 200;
+    z-index: 999;
 }
\ No newline at end of file
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;