##// END OF EJS Templates
color: add a 'ui.color' option to control color behavior...
color: add a 'ui.color' option to control color behavior This new option control whether or not color will be used. It mirror the behavior of '--color'. I usually avoid adding new option to '[ui]' as the section is already filled with many option. However, I feel like 'color' is central enough to deserves a spot in this '[ui]' section. For now the option is not documented so it is still marked as experimental. Once it get documented and official, we should be able to deprecate the color extensions. There is more cleanup to do before that documentation is written, but we need this option early to made them. Having that option will allow for more cleanup of the initialisation process and proper separation between color configuration.

File last commit:

r30346:9cc438bf default
r31110:7fec3774 default
Show More
__init__.py
0 lines | 0 B | text/x-python | PythonLexer