diff options
Diffstat (limited to 'js/codeq/prolog.js')
-rw-r--r-- | js/codeq/prolog.js | 14 |
1 files changed, 9 insertions, 5 deletions
diff --git a/js/codeq/prolog.js b/js/codeq/prolog.js index a9a1c26..47a88b2 100644 --- a/js/codeq/prolog.js +++ b/js/codeq/prolog.js @@ -204,11 +204,15 @@ jqEditor = jqCode.find('.code_editor'), jqTerminal = jqConsole.find('.console'), jqHints = jqInfo.find('.hints'), - editor = codeq.makeEditor(jqEditor[0], { - mode: 'prolog', - indentUnit: 4, - value: currentSolution || '' - }), + editor = codeq.makeEditor(jqEditor[0], + { + mode: 'prolog', + indentUnit: 4, + value: currentSolution || '' + }, + function () { + jqTerminal.click(); + }), activityHandler = codeq.makeActivityHandler(editor, problemDef.id), terminal = makePrologTerminalHandler(jqTerminal, editor, problemDef.id, activityHandler), hinter = codeq.makeHinter(jqHints, jqEditor, editor, 'prolog_hints', problemDef, commonDef), |