diff options
Diffstat (limited to '')
| -rw-r--r-- | project/dclib/dclib-ui.c | 7 |
1 files changed, 3 insertions, 4 deletions
diff --git a/project/dclib/dclib-ui.c b/project/dclib/dclib-ui.c index 67226dd..a642431 100644 --- a/project/dclib/dclib-ui.c +++ b/project/dclib/dclib-ui.c @@ -424,7 +424,6 @@ void DumpText case '@': case '$': - case '§': if (!is_makedoc) { if ( text[1] == *text ) @@ -574,11 +573,11 @@ static void print_help_options if (title) { - const bool is_col = IsFileColorized(f); + const ColorMode_t colmode = GetFileColorized(f); fprintf(f,"%*s%s%s:%s\n\n", indent,"", - GetTextMode(is_col,TTM_COL_HEADING), title, - GetTextMode(is_col,TTM_RESET) ); + GetTextMode(colmode,TTM_COL_HEADING), title, + GetTextMode(colmode,TTM_RESET) ); } const int fw = GetTermWidth(80,40) - 1; |