From 50bb556bc7144b70f6f1ca8060f6e1508640b09d Mon Sep 17 00:00:00 2001 From: Bruno Windels Date: Wed, 1 Apr 2020 09:36:50 +0000 Subject: [PATCH] Update docs/settings.md Co-Authored-By: Travis Ralston --- docs/settings.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/docs/settings.md b/docs/settings.md index 30818625d2..c22345bc22 100644 --- a/docs/settings.md +++ b/docs/settings.md @@ -51,7 +51,7 @@ Settings are the different options a user may set or experience in the applicati } ``` -Settings that support the config level can be set in the config file under the `settingDefaults` key (note that the "theme" setting is special cased to the `default_theme` in the config file): +Settings that support the config level can be set in the config file under the `settingDefaults` key (note that some settings, like the "theme" setting, are special cased in the config file): ``` { ...