summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorAleš Smodiš <aless@guru.si>2015-09-18 16:41:40 +0200
committerAleš Smodiš <aless@guru.si>2015-09-18 16:41:40 +0200
commit45e1dc64a3f36222eb775a00157f587ebdaabd2d (patch)
treed0af88b4c8ac688ba4708994c02c72e42a54f9a8
parentda92df9761b52f6d24d2241080121cc5bef5e932 (diff)
Enable auto-history in prolog console.
-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;