Project settings – Workspace
To access the settings for the project's workspace, in the project menu, select Settings > Project > Workspace.

Setting | Description |
---|---|
Manage files in workspace | This setting is enabled by default. If this setting is disabled, the project will not have the Workspace menu. This can be useful when source files are managed in a third-party tool. For details, see the Projects without a workspace section. |
Pseudo language | The selected locale will be used to create the Rigi tokens. For details, see the Rigi tokens section. |
Connect to GItHub | Switch on this toggle to set up the connection with GitHub: ![]()
|