diff --git a/src/input.cpp b/src/input.cpp index e86fa10..00ace80 100644 --- a/src/input.cpp +++ b/src/input.cpp @@ -2,6 +2,7 @@ using namespace std; #include "include/config.h" +#include "include/colors.h" @@ -12,8 +13,11 @@ string get_input() { int line_num = 0; while (1) { line_num++; - printf("%4d ", line_num); - getline(cin, buffer); + printf(BOLD "%4d " RESET , line_num); + if (!getline(cin, buffer)) { + cout << "\rReceived EOF" << endl; + exit(0); + } input += "\n" + buffer; int n = input.length();