diff options
author | Marko Pušnik <marko.pusnik@guru.si> | 2015-10-05 15:57:58 +0200 |
---|---|---|
committer | Marko Pušnik <marko.pusnik@guru.si> | 2015-10-05 15:57:58 +0200 |
commit | 4a53a4594018fc6e538c87f7321ffefadc5edbd3 (patch) | |
tree | a03a5f47a73d6cd5bdd900ee693812e61ca8dddd /js/codeq/prolog.js | |
parent | 16e584cc8dc057290e14f829b507fbbef3cdf60f (diff) | |
parent | 1f2158699c43cab53152017f2dd73968bc390311 (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 | 11 |
1 files changed, 1 insertions, 10 deletions
diff --git a/js/codeq/prolog.js b/js/codeq/prolog.js index ef7a089..2aeede4 100644 --- a/js/codeq/prolog.js +++ b/js/codeq/prolog.js @@ -202,15 +202,8 @@ codeq.tr.registerDictionary('prolog', codeq.tr.emptyDictionary); // to make the translator happy, when this screen is not active }); - /** - * Creates a new handler for the given Prolog assignment definition. - * - * @param {PrologTaskDef} info - * @returns {{destroy: Function, processServerHints: Function}} - */ createPrologHandler = function (problemDef, commonDef, currentSolution) { - var //problem = info.problem, - jqDescriptionContent = jqDescription.find('.description'), + var jqDescriptionContent = jqDescription.find('.description'), jqEditor = jqCode.find('.code_editor'), jqTerminal = jqConsole.find('.console'), jqHints = jqInfo.find('.hints'), @@ -228,8 +221,6 @@ codeq.tr.registerDictionary('prolog', problemDef.translations); codeq.tr.translateDom(jqScreen); -// $('#screen_prolog .title').text(problem.slug); -// jqDescriptionContent.html(problem.description); jqBtnPlan.prop('disabled', !hinter.hasNextPlan()); editor.on('change', function (instance, changeObj) { |