Fix hover top padding

BetterThanTomorrow · Dec 5, 2019 · 118262f · 118262f
1 parent d898ea4
commit 118262f
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/providers/infoparser.ts b/src/providers/infoparser.ts
@@ -169,7 +169,7 @@ export class REPLInfoParser {
         const hover = new MarkdownString();
         if (this._name !== '') {
             const name = this.formatName(this._name);
-            hover.appendMarkdown(`### ${name}\n`);
+            hover.appendMarkdown(`${name}\n`);
             if (this._specialForm) {
                 if (this._formsString) {
                     hover.appendText(this.formatFormsString(this._formsString));