From f1597f8e84e5347e023030e9f98734b64fa75f9a Mon Sep 17 00:00:00 2001 From: roottool Date: Tue, 7 May 2019 03:26:47 +0900 Subject: [PATCH] Fix: Poped up the lint tooptip --- lib/main.html | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/lib/main.html b/lib/main.html index c389956b..0d9feade 100644 --- a/lib/main.html +++ b/lib/main.html @@ -72,6 +72,10 @@ border-left-color: rgba(142, 142, 142, 0.5); mix-blend-mode: difference; } + + .CodeMirror-lint-tooltip { + z-index: 1003; + }