From bc002f1c7bf3b7762d47e3bc38b24a3a706dd5a6 Mon Sep 17 00:00:00 2001 From: Miraculous Ladybugreport <3642643+PeyTy@users.noreply.github.com> Date: Wed, 19 Jun 2024 22:04:28 +0300 Subject: [PATCH] Remove hairline for hovers --- extension/extension.js | 1 - 1 file changed, 1 deletion(-) diff --git a/extension/extension.js b/extension/extension.js index a4a9b9f..761fd1f 100644 --- a/extension/extension.js +++ b/extension/extension.js @@ -272,7 +272,6 @@ exports.activate = function (context) { hover.appendCodeblock(code, 'hexa') const doc = onJSON[0][0].markdown if (doc && doc.length > 0) { - hover.appendMarkdown('---') hover.appendMarkdown(doc) } resolve(new Hover(hover))