From 1e807e08d598d1bc32a4074b6450123470bedcc2 Mon Sep 17 00:00:00 2001
From: eight <eight04@gmail.com>
Date: Wed, 7 Nov 2018 20:12:39 +0800
Subject: [PATCH] Fix: don't display rule id if undefined

---
 edit/linter-report.js | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/edit/linter-report.js b/edit/linter-report.js
index df7fda83..f2186dbe 100644
--- a/edit/linter-report.js
+++ b/edit/linter-report.js
@@ -146,7 +146,8 @@ Object.assign(linter, (() => {
         severityIcon.textContent = anno.severity;
         line.textContent = anno.from.line + 1;
         col.textContent = anno.from.ch + 1;
-        message.title = clipString(anno.message, 1000) + `\n(${anno.rule})`;
+        message.title = clipString(anno.message, 1000) +
+          anno.rule ? `\n(${anno.rule})` : '';
         message.textContent = clipString(anno.message, 100);
       }
     }