Settings & Preferences
Last updated:
Configure your WebSandbox account, editor preferences, theme, and notification settings.
Accessing Settings
There are three ways to open settings:
- Click the gear icon in the bottom-left of the editor or dashboard sidebar
- Use the keyboard shortcut Cmd+, (Mac) / Ctrl+, (Windows)
- Open the command palette (Cmd+Shift+P) and type Open Settings
The settings panel slides in from the right. It is divided into sections in the left navigation of the panel.
Editor Preferences
These settings apply to the code editor (CodeMirror for Instant Projects and VSCode Server for Cloud Servers) across all workspaces:
| Setting | Default | Options |
|---|---|---|
| Font family | JetBrains Mono | Any monospace font name |
| Font size | 14px | 10–24px |
| Tab size | 2 | 2, 4, 8 |
| Insert spaces | true | true / false |
| Word wrap | off | off / on / wordWrapColumn |
| Format on save | false | true / false |
| Minimap | true | true / false |
| Bracket pair colourisation | true | true / false |
| Reduced motion | System preference | System / Always / Never |
Theme & Appearance
WebSandbox respects your system light/dark mode preference by default. You can override it:
- System — follows
prefers-color-schememedia query - Light — always use the light theme
- Dark — always use the dark theme
The theme toggle is also accessible directly from the top-right of the navbar.
Notifications
Control which in-app and email notifications you receive:
- Workspace shared with you
- Collaborator joined your workspace
- Git push succeeded / failed
- Plan renewal reminder
- New WebSandbox release / changelog
Account & Security
- Change email / password — available for email-authenticated accounts
- Connected providers — link or unlink GitHub / Google OAuth
- API tokens — generate tokens for the REST API (Pro+)
- Git authentication — manage Personal Access Tokens for git remotes
- Delete account — permanently delete your account and all associated data. This action cannot be undone.