diff options
author | Aleš Smodiš <aless@guru.si> | 2015-10-01 14:44:53 +0200 |
---|---|---|
committer | Aleš Smodiš <aless@guru.si> | 2015-10-01 14:44:53 +0200 |
commit | 82c30c79c7c000bef57a9de2d3f8372b4dc3f213 (patch) | |
tree | d5b18b4585c653c28d9c3587af9b39f650097115 /js/codeq/prolog.js | |
parent | 4faf13f8b41e896e8bd4a36488707e0263096e8d (diff) | |
parent | 02dd8336417cb89500905e98f954b9c97111096b (diff) |
Merge branch 'master' of ssh://212.235.189.51:22122/codeq-web
Diffstat (limited to 'js/codeq/prolog.js')
-rw-r--r-- | js/codeq/prolog.js | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/js/codeq/prolog.js b/js/codeq/prolog.js index 6447b86..c549f09 100644 --- a/js/codeq/prolog.js +++ b/js/codeq/prolog.js @@ -260,7 +260,8 @@ jqTerminal = jqConsole.find('.console'), jqHints = jqInfo.find('.hints'), editor = codeq.makeEditor(jqEditor[0], { - mode: 'prolog' + mode: 'prolog', + value: currentSolution || '' }), activityHandler = makeActivityHandler(editor, problemDef.id), terminal = makePrologTerminalHandler(jqTerminal, editor, problemDef.id, activityHandler), @@ -271,7 +272,6 @@ codeq.tr.registerDictionary('prolog', problemDef.translations); codeq.tr.translateDom(jqScreen); - if (currentSolution) editor.setValue(currentSolution); // $('#screen_prolog .title').text(problem.slug); // jqDescriptionContent.html(problem.description); jqBtnPlan.prop('disabled', !hinter.hasNextPlan()); |