unbork marks in linter report

CodeMirror 5.58+ uses an additional class name for common stuff
This commit is contained in:
tophf 2020-11-08 20:27:06 +03:00
parent 5e5fecbcfe
commit 4ac92a4f9b

View File

@ -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;