SOI
/
soi-header
103
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

tweak colors

This commit is contained in:
Johannes Kapfhammer 2019-10-06 17:36:04 +02:00
parent 475a7f7910
commit d594be1ac0
1 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
include/bits/soi-dbg.hpp
View File

@ -182,11 +182,11 @@ static const char* ANSI_RESET = "";
void dbg_init(bool with_colors) {
if (with_colors) {
bool colors_enabled = true;
ANSI_DEBUG = "\x1b[02m";
ANSI_DEBUG = "\x1b[37m";
ANSI_EXPRESSION = "\x1b[36m";
ANSI_VALUE = "\x1b[01m";
ANSI_TYPE = "\x1b[32m";
ANSI_MESSAGE = "\x1b[31m\x1b[01m";
ANSI_MESSAGE = "\x1b[31;01m";
ANSI_RESET = "\x1b[0m";
} else {
bool colors_enabled = false;