@devpodio/getting-started
v0.6.3
Published
Theia - GettingStarted Extension
Downloads
2
Readme
Theia - Getting Started Extension
The extension provides a getting started
page to users when opening Theia without a workspace. It provides useful commands for opening new or recent workspaces, commands to update user settings, and other helpful links.