No defaults are changed; this is purely an addition
See particular commit messages for details (presumably it makes most sense to review the commits individually here)
To keep it simply, loading a color theme from e.g. a JSON file is not part of this PR. However, the refactoring that is part of this PR should make it easy to add this kind of feature (so users don't need to recompile the application just to change colors). Of course it would also be easy to add more built-in themes.
To keep it simply, loading a color theme from e.g. a JSON file is not part of this PR. However, the refactoring that is part of this PR should make it easy to add this kind of feature (so users don't need to recompile the application just to change colors). Of course it would also be easy to add more built-in themes.