summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--js/codeq/prolog.js3
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;