This commit is contained in:
David Baker 2019-11-20 17:39:58 +00:00
parent 21781adb9e
commit 9ed4a07b28

View file

@ -29,7 +29,9 @@ Custom Themes
Themes derived from the built in themes may also be defined in settings. Themes derived from the built in themes may also be defined in settings.
To avoid name collisions, the internal name of a theme is `custom-${theme.name}`. So if you want to set the custom theme below as the default theme, you would use `default_theme: "custom-Electric Blue"`. To avoid name collisions, the internal name of a theme is
`custom-${theme.name}`. So if you want to set the custom theme below as the
default theme, you would use `default_theme: "custom-Electric Blue"`.
eg. in config.json: eg. in config.json: