Fabian Homborg 67dc86cfa4 webconfig: Skip colors not named in a theme ...

This is a stop gap. Ideally setting a theme would be idempotent. You
set it, all colors change to match it, even the ones it does not
specify.

However, I do not believe we can *erase* colors that aren't set, and
we don't currently do so in the CLI version. So skip setting these at
all, for now.

If a color is mentioned but empty, it will be set to empty.

2021-12-14 22:54:28 +01:00

..

web_config

webconfig: Skip colors not named in a theme

2021-12-14 22:54:28 +01:00

create_manpage_completions.py

Update create_manpage_completions.py

2021-12-13 04:33:26 -08:00

deroff.py

deroff.py: unneccessarry pass, unreachable code

2021-12-12 10:45:50 -08:00