diff options
Diffstat (limited to 'js/codeq/robot.js')
-rw-r--r-- | js/codeq/robot.js | 4 |
1 files changed, 1 insertions, 3 deletions
diff --git a/js/codeq/robot.js b/js/codeq/robot.js index f5c04a1..42f336c 100644 --- a/js/codeq/robot.js +++ b/js/codeq/robot.js @@ -178,7 +178,7 @@ along with this program. If not, see <http://www.gnu.org/licenses/>. */ }), activityHandler = codeq.makeActivityHandler(editor, problemDef.id), terminal = makeRobotTerminalHandler(jqTerminal, editor, problemDef.id, activityHandler), - hinter = codeq.makeHinter(jqHints, jqEditor, editor, 'robot_hints', problemDef, commonDef), + hinter = codeq.makeHinter(jqHints, jqEditor, editor, 'robot_hints', problemDef, commonDef, activityHandler), commError = function (error) { alert(error); }, @@ -236,7 +236,6 @@ along with this program. If not, see <http://www.gnu.org/licenses/>. */ }); jqBtnPlan.on('click', function () { - activityHandler.queueTrace({'typ': 'plan'}); if (!hinter.planNext()) { jqBtnPlan.prop('disabled', true).blur(); } @@ -250,7 +249,6 @@ along with this program. If not, see <http://www.gnu.org/licenses/>. */ }) .then(function (data) { if (data.code === 0) { - activityHandler.queueTrace({'typ': 'hint', 'feedback': data.hints}); hinter.handle(data.hints); } else { |