Enable auto-history in prolog console.

1 files changed, 2 insertions, 1 deletions

diff --git a/js/codeq/prolog.js b/js/codeq/prolog.js
index be4791a..e411bc4 100644
--- a/js/codeq/prolog.js
+++ b/js/codeq/prolog.js
@@ -227,7 +227,8 @@
         var promptMode = true, // default: query composition; alternative: query result browsing
             manualStop = false,// if the user stopped showing next answers (false) or if there are no more answers (true)
             terminal = codeq.makeConsole(jqConsole, {
-                'greeting': 'CodeQ Prolog terminal proxy'
+                'greeting': 'CodeQ Prolog terminal proxy',
+                'autoHistory': true
             }),
             tcs = function terminalCommandSuccess (data) {
                 var t, lines, i;