From 21781adb9ee73fa01fb0acc3838e3ee3d6b00b03 Mon Sep 17 00:00:00 2001 From: Bruno Windels Date: Wed, 20 Nov 2019 18:27:25 +0100 Subject: [PATCH] explain the internal name of custom themes --- docs/theming.md | 5 ++++- 1 file changed, 4 insertions(+), 1 deletion(-) diff --git a/docs/theming.md b/docs/theming.md index 71e963b8c3..422d6032d3 100644 --- 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: