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;