Does anyone know of an example of a “Getting Started” extension that walks the user through basic features?
@bendavis I do not know of any open-source
@theia extension that interactively guides users through basic features, but there is the code-tour plugin that can theoretically be used to perform interactive tours/recordings. I have not yet tested the plugin in the framework however.
There also the following issues with that extension at the moment:
Very cool. I think that might be more than what I need though. Perhaps I can get by with a basic frontend extension and use something like introjs.