summaryrefslogtreecommitdiff
path: root/js/prolog.js
diff options
context:
space:
mode:
Diffstat (limited to 'js/prolog.js')
-rw-r--r--js/prolog.js3
1 files changed, 2 insertions, 1 deletions
diff --git a/js/prolog.js b/js/prolog.js
index 1c811ed..1082392 100644
--- a/js/prolog.js
+++ b/js/prolog.js
@@ -6,6 +6,7 @@
// a constant
var firstCharacterPos = {'line': 0, 'ch': 0};
+ //codeq.makePrologTerminalHandler = function (jqConsole, editor, problem_id, activityHandler) {
var makePrologTerminalHandler = function (jqConsole, editor, problem_id, activityHandler) {
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)
@@ -147,7 +148,7 @@
jqConsole = $('#console'),
jqHints = $('#info'),
editor = CodeMirror(jqEditor[0], { cursorHeight: 0.85, lineNumbers: true, matchBrackets: true }),
- activityHandler = makeActivityHandler(editor, problem.id),
+ activityHandler = codeq.makeActivityHandler(editor, problem.id),
terminal = makePrologTerminalHandler(jqConsole, editor, problem.id, activityHandler),
hinter = codeq.makeHinter(jqHints, jqEditor, editor, problem.hint);