You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
exportconstsimpleCheckboxBorder=registerColor('checkbox.border',{dark: selectBorder,light: selectBorder,hc: selectBorder},nls.localize('checkbox.border',"Border color of checkbox widget."));
228
228
229
229
230
-
exportconstpickerGroupForeground=registerColor('pickerGroup.foreground',{dark: '#3794FF',light: '#0066BF',hc: Color.white},nls.localize('pickerGroupForeground',"Quick picker color for grouping labels."));
231
-
exportconstpickerGroupBorder=registerColor('pickerGroup.border',{dark: '#3F3F46',light: '#CCCEDB',hc: Color.white},nls.localize('pickerGroupBorder',"Quick picker color for grouping borders."));
exportconstbuttonHoverBackground=registerColor('button.hoverBackground',{dark: lighten(buttonBackground,0.2),light: darken(buttonBackground,0.2),hc: null},nls.localize('buttonHoverBackground',"Button background color when hovering."));
exportconsteditorWidgetResizeBorder=registerColor('editorWidget.resizeBorder',{light: null,dark: null,hc: null},nls.localize('editorWidgetResizeBorder',"Border color of the resize bar of editor widgets. The color is only used if the widget chooses to have a resize border and if the color is not overridden by a widget."));
280
277
278
+
/**
279
+
* Quick pick widget
280
+
*/
281
+
exportconstquickInputBackground=registerColor('quickInput.background',{dark: editorWidgetBackground,light: editorWidgetBackground,hc: editorWidgetBackground},nls.localize('pickerBackground',"Quick picker background color. The quick picker widget is the container for pickers like the command palette."));
282
+
exportconstquickInputForeground=registerColor('quickInput.foreground',{dark: editorWidgetForeground,light: editorWidgetForeground,hc: editorWidgetForeground},nls.localize('pickerForeground',"Quick picker foreground color. The quick picker widget is the container for pickers like the command palette."));
283
+
exportconstpickerGroupForeground=registerColor('pickerGroup.foreground',{dark: '#3794FF',light: '#0066BF',hc: Color.white},nls.localize('pickerGroupForeground',"Quick picker color for grouping labels."));
284
+
exportconstpickerGroupBorder=registerColor('pickerGroup.border',{dark: '#3F3F46',light: '#CCCEDB',hc: Color.white},nls.localize('pickerGroupBorder',"Quick picker color for grouping borders."));
},nls.localize('sideBarSectionHeaderBorder',"Side bar section header border color. The side bar is the container for views like explorer and search."));
},nls.localize('quickInputBackground',"Quick Input background color. The Quick Input widget is the container for views like the color theme picker."));
},nls.localize('quickInputForeground',"Quick Input foreground color. The Quick Input widget is the container for views like the color theme picker."));
0 commit comments