From 6c0b455f9df2daa5bd46bfd4dd835cc748c39752 Mon Sep 17 00:00:00 2001 From: Joao Moreno Date: Tue, 4 Oct 2016 11:21:45 +0200 Subject: [PATCH] fixes #12859 --- src/vs/editor/contrib/suggest/browser/suggest.css | 13 +++++++------ .../editor/contrib/suggest/browser/suggestWidget.ts | 12 +++++++++--- 2 files changed, 16 insertions(+), 9 deletions(-) diff --git a/src/vs/editor/contrib/suggest/browser/suggest.css b/src/vs/editor/contrib/suggest/browser/suggest.css index 74ba1aed106..acbf3bdf3dd 100644 --- a/src/vs/editor/contrib/suggest/browser/suggest.css +++ b/src/vs/editor/contrib/suggest/browser/suggest.css @@ -64,14 +64,17 @@ opacity: 0.85; } +.monaco-editor .suggest-widget .monaco-list .monaco-list-row .docs > .docs-text.no-docs { + opacity: 0.5; + font-style: italic; +} + .monaco-editor .suggest-widget .monaco-list .monaco-list-row .docs > .docs-details { opacity: 0.6; - width: 14px; - height: 14px; background-image: url('./info.svg'); - background-size: 14px; background-position: center center; background-repeat: no-repeat; + background-size: 70%; } .monaco-editor .suggest-widget .details > .header > .go-back, @@ -177,10 +180,8 @@ .monaco-editor .suggest-widget .details > .header > .go-back { cursor: pointer; opacity: 0.6; - width: 14px; - height: 14px; background-image: url('./back.svg'); - background-size: 14px; + background-size: 70%; background-position: center center; background-repeat: no-repeat; } diff --git a/src/vs/editor/contrib/suggest/browser/suggestWidget.ts b/src/vs/editor/contrib/suggest/browser/suggestWidget.ts index 056c6812021..c60fd75c168 100644 --- a/src/vs/editor/contrib/suggest/browser/suggestWidget.ts +++ b/src/vs/editor/contrib/suggest/browser/suggestWidget.ts @@ -83,12 +83,15 @@ class Renderer implements IRenderer { const configureFont = () => { const fontInfo = this.editor.getConfiguration().fontInfo; + const lineHeight = `${ fontInfo.lineHeight }px`; data.root.style.fontSize = `${ fontInfo.fontSize }px`; main.style.fontFamily = fontInfo.fontFamily; - main.style.lineHeight = `${ fontInfo.lineHeight }px`; - data.icon.style.height = `${ fontInfo.lineHeight }px`; - data.icon.style.width = `${ fontInfo.lineHeight }px`; + main.style.lineHeight = lineHeight; + data.icon.style.height = lineHeight; + data.icon.style.width = lineHeight; + data.documentationDetails.style.height = lineHeight; + data.documentationDetails.style.width = lineHeight; }; configureFont(); @@ -261,10 +264,13 @@ class SuggestionDetails { private configureFont() { const fontInfo = this.editor.getConfiguration().fontInfo; const fontSize = `${ fontInfo.fontSize }px`; + const lineHeight = `${ fontInfo.lineHeight }px`; this.el.style.fontSize = fontSize; this.title.style.fontFamily = fontInfo.fontFamily; this.type.style.fontFamily = fontInfo.fontFamily; + this.back.style.height = lineHeight; + this.back.style.width = lineHeight; } dispose(): void { -- GitLab