From 00bcf41e2ea0dcd5265bc93980408abe11d9b123 Mon Sep 17 00:00:00 2001 From: Sandeep Somavarapu Date: Wed, 20 Feb 2019 17:35:10 +0100 Subject: [PATCH] #67076 Consistent links --- src/vs/editor/contrib/hover/modesContentHover.ts | 6 ++++-- 1 file changed, 4 insertions(+), 2 deletions(-) diff --git a/src/vs/editor/contrib/hover/modesContentHover.ts b/src/vs/editor/contrib/hover/modesContentHover.ts index 5922afb26420a..38f6316e06ea2 100644 --- a/src/vs/editor/contrib/hover/modesContentHover.ts +++ b/src/vs/editor/contrib/hover/modesContentHover.ts @@ -479,6 +479,7 @@ export class ModesContentHoverWidget extends ContentHoverWidget { const messageElement = dom.append(markerElement, $('span')); messageElement.style.whiteSpace = 'pre-wrap'; messageElement.innerText = message; + this._editor.applyFontInfo(messageElement); if (source || code) { const detailsElement = dom.append(markerElement, $('span')); @@ -492,7 +493,7 @@ export class ModesContentHoverWidget extends ContentHoverWidget { const relatedInfoContainer = dom.append(markerElement, $('div')); relatedInfoContainer.style.marginTop = '8px'; const a = dom.append(relatedInfoContainer, $('a')); - a.innerText = `${basename(resource)}(${startLineNumber}, ${startColumn})`; + a.innerText = `${basename(resource)}(${startLineNumber}, ${startColumn}): `; a.style.cursor = 'pointer'; a.onclick = e => { e.stopPropagation(); @@ -502,7 +503,8 @@ export class ModesContentHoverWidget extends ContentHoverWidget { } }; const messageElement = dom.append(relatedInfoContainer, $('span')); - messageElement.innerText = `: ${message}`; + messageElement.innerText = message; + this._editor.applyFontInfo(messageElement); } }