update hover panel

This commit is contained in:
Daniel Hung 2018-12-11 09:40:49 -08:00
parent 81c42a80f5
commit 2155cde878

View File

@ -22,7 +22,6 @@ module.exports = class KiteHoverProvider {
.then(data => { .then(data => {
if (data && data.symbol && data.symbol.length) { if (data && data.symbol && data.symbol.length) {
const [symbol] = data.symbol; const [symbol] = data.symbol;
const id = symbolId(symbol);
const docsLink = `[Docs](command:kite.more-position?${escapeCommandArguments({ const docsLink = `[Docs](command:kite.more-position?${escapeCommandArguments({
position, position,
@ -39,13 +38,15 @@ module.exports = class KiteHoverProvider {
defLink = `[Def](command:kite.def?${defData})`; 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; content.isTrusted = true;
const texts = [ const texts = [
content content
]; ];
// const texts = [{ // const texts = [{
// language: 'python', // language: 'python',
// value: `[𝕜𝕚𝕥𝕖] ${symbolName(symbol)}${docsLink} ${symbolKind(symbol)}` // value: `[𝕜𝕚𝕥𝕖] ${symbolName(symbol)}${docsLink} ${symbolKind(symbol)}`