diff --git a/build/lib/stylelint/vscode-known-variables.json b/build/lib/stylelint/vscode-known-variables.json index af361d22da5..3040277d65e 100644 --- a/build/lib/stylelint/vscode-known-variables.json +++ b/build/lib/stylelint/vscode-known-variables.json @@ -1091,6 +1091,7 @@ "--vscode-bodyFontSize-small", "--vscode-bodyFontSize-xSmall", "--vscode-codiconFontSize", + "--vscode-codiconFontSize-compact", "--vscode-cornerRadius-circle", "--vscode-cornerRadius-large", "--vscode-cornerRadius-medium", diff --git a/src/vs/platform/theme/common/sizes/baseSizes.ts b/src/vs/platform/theme/common/sizes/baseSizes.ts index 50333dd367d..d6563dd846a 100644 --- a/src/vs/platform/theme/common/sizes/baseSizes.ts +++ b/src/vs/platform/theme/common/sizes/baseSizes.ts @@ -24,6 +24,10 @@ export const codiconFontSize = registerSize('codiconFontSize', sizeForAllThemes(16, 'px'), nls.localize('codiconFontSize', "Base font size for codicons.")); +export const codiconFontSizeCompact = registerSize('codiconFontSize.compact', + sizeForAllThemes(12, 'px'), + nls.localize('codiconFontSizeCompact', "Compact font size for codicons.")); + // ------ Corner Radii export const cornerRadiusMedium = registerSize('cornerRadius.medium',