From 4ac92a4f9b7859805d2d3b769674e9daf691736f Mon Sep 17 00:00:00 2001
From: tophf <tophf@gmx.com>
Date: Sun, 8 Nov 2020 20:27:06 +0300
Subject: [PATCH] unbork marks in linter report

CodeMirror 5.58+ uses an additional class name for common stuff
---
 edit/linter-report.js | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/edit/linter-report.js b/edit/linter-report.js
index 35029524..4387cb76 100644
--- a/edit/linter-report.js
+++ b/edit/linter-report.js
@@ -142,7 +142,7 @@ Object.assign(linter, (() => {
         anno = _anno;
         trElement.className = anno.severity;
         severity.dataset.rule = anno.rule;
-        severityIcon.className = `CodeMirror-lint-marker-${anno.severity}`;
+        severityIcon.className = `CodeMirror-lint-marker CodeMirror-lint-marker-${anno.severity}`;
         severityIcon.textContent = anno.severity;
         line.textContent = anno.from.line + 1;
         col.textContent = anno.from.ch + 1;