Software Engineering

Clicking on the Software Engineering card once your shed has been build will open the Theia code editor.

Theia is a modular, built for the web integrated development environment based on VS Code. It supports many VS Code extensions. Built on the Language Server Protocol, Theia benefits from a growing ecosystem of over 60 available language servers, delivering intelligent editing support for all major programming languages.

Theia also integrates a full-featured terminal that reconnects on browser reload, keeping the full history.

Any changes are automatically committed to a branch created for the session. This branch can be squashed and merged back to master at the end of the session, or a pull request can be created using Bitbucket. (See Git Integration.)