From 7e9ba28b144047cfb56c3773311169ae1b862786 Mon Sep 17 00:00:00 2001
From: tophf <tophf@gmx.com>
Date: Sun, 22 Oct 2023 01:22:37 +0300
Subject: [PATCH] overlay lint markers

...to avoid showing a weirdly empty gap in the gutter
---
 edit/codemirror-default.css | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/edit/codemirror-default.css b/edit/codemirror-default.css
index 651e800716..48beb651ff 100644
--- a/edit/codemirror-default.css
+++ b/edit/codemirror-default.css
@@ -75,6 +75,10 @@
 .CodeMirror-linenumber {
   cursor: pointer; /* for bookmarking */
 }
+.CodeMirror-lint-markers {
+  margin-left: -8px;
+  margin-right: -8px;
+}
 .cm-matchhighlight,
 .CodeMirror-selection-highlight-scrollbar {
   background: hsla(200, 100%, 50%, var(--match-hl-opacity, .1));