Fix lints html escape

huhu · Jul 13, 2023 · 26900d6 · 26900d6
1 parent 007d2b6
commit 26900d6
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 3 deletions.
diff --git a/extension/index/lints.js b/extension/index/lints.js
diff --git a/extension/main.js b/extension/main.js
@@ -385,10 +385,10 @@ async function start() {
         onSearch: (query) => {
             return lintSearcher.search(query);
         },
-        onFormat: (index, lint) => {
+        onFormat: (_, lint) => {
             return {
                 content: `${LINT_URL}#${lint.name}`,
-                description: `Clippy lint: [${lint.level}] ${c.match(lint.name)} - ${c.dim(c.escape(lint.description))}`,
+                description: `Clippy lint: [${lint.level}] ${c.match(lint.name)} - ${c.dim(c.escape(c.eliminateTags(lint.description)))}`,
             }
         },
     });