summaryrefslogtreecommitdiff
path: root/js/codeq/prolog.js
diff options
context:
space:
mode:
authorAleš Smodiš <aless@guru.si>2015-10-01 14:44:53 +0200
committerAleš Smodiš <aless@guru.si>2015-10-01 14:44:53 +0200
commit82c30c79c7c000bef57a9de2d3f8372b4dc3f213 (patch)
treed5b18b4585c653c28d9c3587af9b39f650097115 /js/codeq/prolog.js
parent4faf13f8b41e896e8bd4a36488707e0263096e8d (diff)
parent02dd8336417cb89500905e98f954b9c97111096b (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.js4
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());