Escape from editor using the escape key

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),