fixup! Fix: don't display rule id if undefined

2018-11-07 20:13:33 +08:00 · 2018-11-07 20:13:33 +08:00 · 263b93cb96
commit 263b93cb96
parent 1e807e08d5
1 changed files with 1 additions and 1 deletions
--- a/edit/linter-report.js
+++ b/edit/linter-report.js
@ -147,7 +147,7 @@ Object.assign(linter, (() => {
        line.textContent = anno.from.line + 1;
        col.textContent = anno.from.ch + 1;
        message.title = clipString(anno.message, 1000) +
-          anno.rule ? `\n(${anno.rule})` : '';
+          (anno.rule ? `\n(${anno.rule})` : '');
        message.textContent = clipString(anno.message, 100);
      }
    }