From 2155cde878af489aad2f1cb5d4b3e42519d04330 Mon Sep 17 00:00:00 2001 From: Daniel Hung Date: Tue, 11 Dec 2018 09:40:49 -0800 Subject: [PATCH] update hover panel --- src/hover.js | 5 +++-- 1 file changed, 3 insertions(+), 2 deletions(-) diff --git a/src/hover.js b/src/hover.js index 21b56db..feab973 100644 --- a/src/hover.js +++ b/src/hover.js @@ -22,7 +22,6 @@ module.exports = class KiteHoverProvider { .then(data => { if (data && data.symbol && data.symbol.length) { const [symbol] = data.symbol; - const id = symbolId(symbol); const docsLink = `[Docs](command:kite.more-position?${escapeCommandArguments({ position, @@ -39,13 +38,15 @@ module.exports = class KiteHoverProvider { defLink = `[Def](command:kite.def?${defData})`; } - const content = new vscode.MarkdownString(`[𝕜𝕚𝕥𝕖] ${symbolName(symbol)} (${docsLink}${defLink ? ', ' + defLink : ''})    ${symbolKind(symbol)}`); + const content = new vscode.MarkdownString(`[𝕜𝕚𝕥𝕖]  __${symbolName(symbol)}__  ${docsLink}${defLink ? '  ' + defLink : ''}        _${symbolKind(symbol)}_`); content.isTrusted = true; const texts = [ content ]; + + // const texts = [{ // language: 'python', // value: `[𝕜𝕚𝕥𝕖] ${symbolName(symbol)}${docsLink} ${symbolKind(symbol)}`