Contribution point for walkthroughs provided by a Theia extension, next to the walkthroughs that plugins
contribute through their contributes.walkthroughs manifest section.
Both sources are treated alike: contributed walkthroughs are listed on the welcome page, keep their progress,
and can be opened with the walkthrough.open command.
Contribution point for walkthroughs provided by a Theia extension, next to the walkthroughs that plugins contribute through their
contributes.walkthroughsmanifest section.Both sources are treated alike: contributed walkthroughs are listed on the welcome page, keep their progress, and can be opened with the
walkthrough.opencommand.