explain the internal name of custom themes

2019-11-20 18:27:25 +01:00 · 2019-11-20 18:27:25 +01:00 · 21781adb9e
parent dc3cc37784
commit 21781adb9e
1 changed files with 4 additions and 1 deletions
--- a/docs/theming.md
+++ b/docs/theming.md
@ -26,7 +26,10 @@ single directory tree.

 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"`.

 eg. in config.json: