|
|
@@ -670,7 +670,7 @@ int main(int argc, char ** argv) {
|
|
|
}
|
|
|
fflush(stdout);
|
|
|
}
|
|
|
- // reset color to default if we there is no pending user input
|
|
|
+ // reset color to default if there is no pending user input
|
|
|
if (input_echo && (int) embd_inp.size() == n_consumed) {
|
|
|
console::set_display(console::reset);
|
|
|
}
|
|
|
@@ -697,10 +697,8 @@ int main(int argc, char ** argv) {
|
|
|
if (last_output.find(antiprompt, search_start_pos) != std::string::npos) {
|
|
|
if (params.interactive) {
|
|
|
is_interacting = true;
|
|
|
- console::set_display(console::user_input);
|
|
|
}
|
|
|
is_antiprompt = true;
|
|
|
- fflush(stdout);
|
|
|
break;
|
|
|
}
|
|
|
}
|
|
|
@@ -724,8 +722,6 @@ int main(int argc, char ** argv) {
|
|
|
|
|
|
is_interacting = true;
|
|
|
printf("\n");
|
|
|
- console::set_display(console::user_input);
|
|
|
- fflush(stdout);
|
|
|
} else if (params.instruct) {
|
|
|
is_interacting = true;
|
|
|
}
|
|
|
@@ -750,6 +746,9 @@ int main(int argc, char ** argv) {
|
|
|
printf("%s", buffer.c_str());
|
|
|
}
|
|
|
|
|
|
+ // color user input only
|
|
|
+ console::set_display(console::user_input);
|
|
|
+
|
|
|
std::string line;
|
|
|
bool another_line = true;
|
|
|
do {
|