$(zap) is not escaped in the tooltip (#262147)

This commit is contained in:
Martin Aeschlimann
2025-08-18 17:26:47 +02:00
committed by GitHub
parent 523aff7f04
commit e61333fea1
@@ -99,7 +99,7 @@ const languageModelToolsExtensionPoint = extensionsRegistry.ExtensionsRegistry.r
type: 'boolean'
},
icon: {
markdownDescription: localize('icon', "An icon that represents this tool. Either a file path, an object with file paths for dark and light themes, or a theme icon reference, like `$(zap)`"),
markdownDescription: localize('icon', "An icon that represents this tool. Either a file path, an object with file paths for dark and light themes, or a theme icon reference, like `\\$(zap)`"),
anyOf: [{
type: 'string'
},