Add border radius to quickinput

eclipse-theia · Apr 14, 2023 · c4c4ab3 · c4c4ab3
1 parent cd62c92
commit c4c4ab3
Showing 1 changed file with 9 additions and 0 deletions.
diff --git 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;
 }