| 8036 | |
| 8037 | private: |
| 8038 | void setColour( const char* _escapeCode ) { |
| 8039 | getCurrentContext().getConfig()->stream() |
| 8040 | << '\033' << _escapeCode; |
| 8041 | } |
| 8042 | }; |
| 8043 | |
| 8044 | bool useColourOnPlatform() { |
nothing calls this directly
no outgoing calls
no test coverage detected