diff --git a/main.c b/main.c index f463792..18626ca 100644 --- a/main.c +++ b/main.c @@ -616,6 +616,12 @@ void calculate_simplifications(void) append(0, 1), lookup[0].kind = ek_0; append(M, 1), lookup[M].kind = ek_1; + // disable terminal autowrap: + if (verbose && print_with_color) + { + printf("\e[?7l"); + } + for (int iterations = 1; todo.n && iterations <= N; iterations++) { uint16_t truthtable = pop(); @@ -823,7 +829,7 @@ void calculate_simplifications(void) if (verbose && print_with_color) { - printf("\e[2K"); + printf("\e[2K" "\e[?7h"); } }