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
exportconstbuttonHoverBackground=registerColor('button.hoverBackground',{dark: lighten(buttonBackground,0.2),light: darken(buttonBackground,0.2),hc: null},nls.localize('buttonHoverBackground',"Button background color when hovering."));
exportconstbuttonSecondaryHoverBackground=registerColor('button.secondaryHoverBackground',{dark: lighten(buttonSecondaryBackground,0.2),light: darken(buttonSecondaryBackground,0.2),hc: null},nls.localize('buttonSecondaryHoverBackground',"Secondary button background color when hovering."));
235
+
232
236
exportconstbadgeBackground=registerColor('badge.background',{dark: '#4D4D4D',light: '#C4C4C4',hc: Color.black},nls.localize('badgeBackground',"Badge background color. Badges are small information labels, e.g. for search results count."));
233
237
exportconstbadgeForeground=registerColor('badge.foreground',{dark: Color.white,light: '#333',hc: Color.white},nls.localize('badgeForeground',"Badge foreground color. Badges are small information labels, e.g. for search results count."));
0 commit comments