fix for icon definition

This commit is contained in:
Martin Aeschlimann 2022-02-09 14:38:16 +01:00
parent 339cbb38e2
commit a80d0c1f97
No known key found for this signature in database
GPG key ID: 2609A01E695523E3

View file

@ -222,7 +222,7 @@ function _loadProductIconThemeDocument(fileService: IExtensionResourceLoaderServ
const fontDefinition = sanitizedFonts.get(fontId);
if (fontDefinition) {
const font = { id: `pi-${fontId}`, getDefinition: () => fontDefinition };
const font = { id: `pi-${fontId}`, definition: fontDefinition };
iconDefinitions.set(iconId, { fontCharacter: definition.fontCharacter, font });
} else {
warnings.push(nls.localize('error.icon.font', 'Skipping icon definition \'{0}\'. Unknown font.', iconId));