From c2b7956557835b1a232a84bdb262a700924a1538 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Ale=C5=A1=20Smodi=C5=A1?= <aless@guru.si>
Date: Wed, 16 Sep 2015 13:18:49 +0200
Subject: Bugfix: console must not collapse spaces.

---
 js/codeq/console.js | 2 +-
 js/prolog.js        | 6 +++---
 2 files changed, 4 insertions(+), 4 deletions(-)

(limited to 'js')

diff --git a/js/codeq/console.js b/js/codeq/console.js
index 90b66cd..99c1550 100644
--- a/js/codeq/console.js
+++ b/js/codeq/console.js
@@ -176,7 +176,7 @@
                     jq1, jq2, jqCursor;
 
                 if (!jqLine) {
-                    jqLine = $('<div class="' + lineDescriptor.className + '"></div>');
+                    jqLine = $('<pre class="cq-con-line ' + lineDescriptor.className + '"></pre>');
                     if (lineDescriptor.row == 0) {
                         jqContent.prepend(jqLine);
                     }
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({
-- 
cgit v1.2.1