diff options
Diffstat (limited to 'js/prolog.js')
| -rw-r--r-- | js/prolog.js | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/js/prolog.js b/js/prolog.js index ebce9bf..2868830 100644 --- a/js/prolog.js +++ b/js/prolog.js @@ -19,12 +19,12 @@ promptMode = !t.have_more; } else { - terminal.error(data.message, 'error'); + terminal.append(data.message, 'error'); promptMode = true; } if (promptMode) { terminal.setLineBuffered(); - terminal.append('\n?- ', 'output'); + terminal.append('.\n?- ', 'output'); } }, tcf = function terminalCommandFailed (error) { @@ -59,7 +59,7 @@ }, problem_id).then(tcs, tcf); } else { - terminal.append('\n'); + terminal.append('\n', 'input'); if (command == ';') { // show next answer return codeq.comms.sendQuery({ |