diff options
Diffstat (limited to 'editors/code/src/color_theme.ts')
-rw-r--r-- | editors/code/src/color_theme.ts | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/editors/code/src/color_theme.ts b/editors/code/src/color_theme.ts index 71113d374..7e10c7f79 100644 --- a/editors/code/src/color_theme.ts +++ b/editors/code/src/color_theme.ts | |||
@@ -61,7 +61,7 @@ export class ColorTheme { | |||
61 | } | 61 | } |
62 | 62 | ||
63 | function loadThemeNamed(themeName: string): ColorTheme { | 63 | function loadThemeNamed(themeName: string): ColorTheme { |
64 | function isTheme(extension: vscode.Extension<any>): boolean { | 64 | function isTheme(extension: vscode.Extension<unknown>): boolean { |
65 | return ( | 65 | return ( |
66 | extension.extensionKind === vscode.ExtensionKind.UI && | 66 | extension.extensionKind === vscode.ExtensionKind.UI && |
67 | extension.packageJSON.contributes && | 67 | extension.packageJSON.contributes && |