diff options
| author | Eero Ruohola <eero.ruohola@icloud.com> | 2021-02-11 01:06:19 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-02-10 15:06:19 -0800 |
| commit | 87ffae295edf4fb2a9c33c552b12f09921def29f (patch) | |
| tree | 18a0adfcd6d69c7516bac02c841cc2e48e20e7b4 /AUTHORS | |
| parent | 000102ef9b617e3da1f99d0b637602205304db11 (diff) | |
Fix issue where `syntax_style` config value would not have any effect (#1241)
These config properties got introduced in 41dd24e8 as a means to have
more granular control over the syntax highlighting. The problem is that
these cannot be in the default config file since `get_config()` always
reads both the default config file and the user specified one, and there
is no way to unset these variables in the user specified config file to
restore their default behavior. Even if there would be a way, it
wouldn't be intuitive at all to be required to unset some random
settings under the `[colors]` section just to be able to use the well
documented `syntax_style` setting.
Note that one *can* still set these three lines in their user config
file if they want to utilize them.
Resolves #1212
Diffstat (limited to 'AUTHORS')
| -rw-r--r-- | AUTHORS | 1 |
1 files changed, 1 insertions, 0 deletions
@@ -114,6 +114,7 @@ Contributors: * Tom Caruso (tomplex) * Jan Brun Rasmussen (janbrunrasmussen) * Kevin Marsh (kevinmarsh) + * Eero Ruohola (ruohola) Creator: -------- |