From c4c4ab35ba90688816cf5bdc27134d5db8e60e9d Mon Sep 17 00:00:00 2001 From: Mark Sujew Date: Thu, 2 Mar 2023 14:55:27 +0000 Subject: [PATCH] Add border radius to quickinput --- packages/monaco/src/browser/style/index.css | 9 +++++++++ 1 file changed, 9 insertions(+) diff --git a/packages/monaco/src/browser/style/index.css b/packages/monaco/src/browser/style/index.css index 634980d4ad621..e8ee701c3b6cf 100644 --- a/packages/monaco/src/browser/style/index.css +++ b/packages/monaco/src/browser/style/index.css @@ -45,6 +45,10 @@ } /* Scrollbars, see https://github.com/microsoft/vscode/blob/ff5f581425da6230b6f9216ecf19abf6c9d285a6/src/vs/workbench/browser/style.ts#L65 */ +.monaco-scrollable-element { + padding: 0px 5px; +} + .monaco-scrollable-element > .shadow.top { box-shadow: var(--theia-scrollbar-shadow) 0 6px 6px -6px inset !important; } @@ -101,6 +105,7 @@ .quick-input-widget { background-color: var(--theia-quickInput-background) !important; color: var(--theia-foreground) !important; + border-radius: 6px; } .quick-input-list @@ -122,6 +127,10 @@ overflow: hidden; } +.quick-input-list .monaco-list-row { + border-radius: 3px; +} + .quick-input-list .monaco-list-row.focused { background-color: var(--theia-quickInputList-focusBackground) !important; }