OptionaliconName of the codicon shown on the card and in the detail header, without the codicon- prefix.
OptionalpluginIcon of the contributing extension, as a backend relative path.
OptionalpluginId of the contributing plugin, or undefined for a walkthrough contributed by a Theia extension.
Optionalwhen
A walkthrough as it is contributed, either by a plugin or by a
WalkthroughProvider.