source_code -> input_text
@@ -145,9 +145,9 @@ void destroy_console(Console *console)
static int console_eval_input(Console *console)
{
- const char *source_code = edit_field_as_text(console->edit_field);
+ const char *input_text = edit_field_as_text(console->edit_field);
- Token input = token_nt(source_code);
+ Token input = token_nt(input_text);
Token command = chop_word(&input);
if (token_equals_str(command, "")) {
@@ -155,11 +155,11 @@ static int console_eval_input(Console *console)
return 0;
}
- if (history_push(console->history, source_code) < 0) {
+ if (history_push(console->history, input_text) < 0) {
return -1;
}
- if (console_log_push_line(console->console_log, source_code, NULL, CONSOLE_FOREGROUND) < 0) {
+ if (console_log_push_line(console->console_log, input_text, NULL, CONSOLE_FOREGROUND) < 0) {
return -1;
}
