From d10866be04d45fc73eddce0ec7005161e69e97a2 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Ale=C5=A1=20Smodi=C5=A1?= <aless@guru.si>
Date: Wed, 16 Sep 2015 11:37:52 +0200
Subject: Removed the "run" and "break" buttons. Removed commented-out code
 from prolog and python handlers.

---
 js/python.js | 18 +-----------------
 1 file changed, 1 insertion(+), 17 deletions(-)

(limited to 'js/python.js')

diff --git a/js/python.js b/js/python.js
index 82423c6..11e8a2b 100644
--- a/js/python.js
+++ b/js/python.js
@@ -72,17 +72,11 @@
             };
 
         return {
-            "trace": function (trace) {
+            'queueTrace': function (trace) {
                 trace['dt'] = deltaActivityMillis();
-                return trace;
-            },
-            'queue': function (trace) {
                 queue.push(trace);
                 if (ts === null) setTimeout(timer, 10000); // flush every 10 seconds
             },
-            'queueTrace': function (trace) {
-                this.queue(this.trace(trace));
-            },
             'flush': flush,
             'addAndPurge': function (trace) {
                 var accumulatedTrace = queue;
@@ -113,8 +107,6 @@
             editor = CodeMirror(jqEditor[0], { cursorHeight: 0.85, lineNumbers: true, matchBrackets: true, mode: 'python' }),
             activityHandler = makeActivityHandler(editor, problem.id),
             terminal = makePythonTerminalHandler(jqConsole, editor, problem.id, activityHandler),
-
-            /** Object.<string, HintDefinition> */
             hintDefs = problem.hint,
             hintCounter = 0, // for generating unique class-names
             hintCleaners = [],
@@ -313,14 +305,6 @@
 //        $(jqButtons.get(1)).on('click', function () { handler.processServerHints([{id:'popup_unknown', start: 20, end: 26}]); });
 //        $(jqButtons.get(2)).on('click', function () { handler.processServerHints([{id:'drop_down', start: 20, end: 26, choices:['ena', 'dva', 'tri']}]); });
 
-        $('#btn_code_run').on('click', function () {
-            var doc = editor.getDoc();
-//            codeq.comms.sendActivity({'typ': 'slv', 'dt': dt, 'qry': });
-//            handler.processServerHints([{id:'list_empty'}]);
-        });
-        $('#btn_code_break').on('click', function () {
-//            handler.processServerHints([{id:'popup_unknown', start: 20, end: 26}]);
-        });
         $('#btn_code_hint').on('click', function () {
 //            handler.processServerHints([{id:'drop_down', start: 20, end: 26, choices:['ena', 'dva', 'tri']}]);
             terminal.append('>>> hint\n');
-- 
cgit v1.2.1