Settings
Click the settings icon in the bottom-left corner to enter the settings interface. The settings mainly contains following ways:
- Global settings or workspace settings about the editor and other coding related settings.
- Shortcuts settings.
- Appearance settings such as theme of color and icon.
