Update docs/settings.md

Co-Authored-By: Travis Ralston <travpc@gmail.com>
This commit is contained in:
Bruno Windels 2020-04-01 09:36:50 +00:00 committed by GitHub
parent 9e4d8e7dfe
commit 50bb556bc7
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

View file

@ -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):
```
{
...