Theme Editor plugin¶
Create and edit syntax-colour themes from within Preferences. Themes are saved as
portable themes/<id>.json files in your user config directory, so they survive
upgrades and can be shared between installations.
Where to find it¶
Preferences ▸ Syntax Colouring ▸ Themes — the plugin adds a settings page, not a menu entry.
Using it¶
- Pick a theme to edit, or Duplicate one to start from an existing look.
- Adjust the colours for each semantic category (keywords, strings, comments, numbers, types, …) plus the editor's default text/background.
- Set the editor decoration colours — selection and current-line backgrounds, matched/unmatched brackets, smart-highlight and mark tints, URL text, the bookmark marker, the diff added / removed text colours used wherever the editor renders an inline diff (for example the AI assistant's change-review dialog), and the Compare view's diff added / removed / changed / moved line background tints plus the diff changed characters box. Every decoration colour is optional; Clear returns it to the editor's built-in default for the theme's light/dark variant.
- Apply writes your changed themes to the user themes directory; the editor's settings-applied reload then re-colours every open document immediately.
| Theme kind | Editable? |
|---|---|
| Built-in themes (e.g. Light, Dark) | Read-only — Duplicate to make an editable copy. You can still browse them: the tables scroll and every value (including the plugin colours) is readable; only the pickers, Clear buttons and style boxes are greyed out, and a "Built-in theme — duplicate it to edit" hint says why. |
| Custom themes (yours) | Fully editable; saved to your user themes folder. |
A theme that comes from another author carries an attribution block — its
authors and licence — inside the theme file. Theme Editor keeps that block
unchanged in every copy it saves, including a Duplicate under a new name,
so a theme derived from it stays correctly credited. The editor does not
display or edit the block.
Not required to use themes
The editor loads and applies themes on its own. Theme Editor is only needed to create or change them — uninstalling it leaves theming fully working, just without the editing UI.