Use monospace font for hovers

This commit is contained in:
Sandeep Somavarapu 2018-11-20 16:17:54 +01:00
parent 085f4656ed
commit 3fcb2d24d9

View file

@ -202,6 +202,7 @@ class ModelMarkerHandler {
hoverMessage.appendText(' ');
}
hoverMessage.appendMarkdown(`<span style='font-family: Monaco, Menlo, Consolas, "Droid Sans Mono", "Inconsolata", "Courier New", monospace, "Droid Sans Fallback"; white-space: pre-wrap;'>`);
message = message.trim();
const lines = message.split(/\r\n|\r|\n/g);
if (lines.length > 1) {
@ -215,6 +216,7 @@ class ModelMarkerHandler {
} else {
hoverMessage.appendText(message);
}
hoverMessage.appendMarkdown(`</span>`);
if (code) {
if (lines.length === 1) {