diff options
author | Robert Zorko <robertz@gurucue.com> | 2015-09-18 14:39:14 +0200 |
---|---|---|
committer | Robert Zorko <robertz@gurucue.com> | 2015-09-18 14:39:14 +0200 |
commit | 3eaecb641fd8328212e6c503bc056794f7290b17 (patch) | |
tree | aaea9a808718b572134ec907775895f6ac1627c4 /js/python.js | |
parent | c3898354b2e78ba30b363ecfa5dc4829d1279a7f (diff) |
changes for th latest changes
Diffstat (limited to 'js/python.js')
-rw-r--r-- | js/python.js | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/js/python.js b/js/python.js index fa4943b..1f2b5cb 100644 --- a/js/python.js +++ b/js/python.js @@ -6,7 +6,6 @@ // a constant var firstCharacterPos = {'line': 0, 'ch': 0}; - //codeq.makePythonTerminalHandler = function (jqConsole, editor, problem_id, activityHandler) { var makePythonTerminalHandler = function (jqConsole, editor, problem_id, activityHandler) { var terminal = codeq.makeConsole(jqConsole, { 'greeting': 'CodeQ Python terminal proxy' @@ -38,7 +37,7 @@ return terminal; }; - var makeActivityHandler = function (editor, problem_id) { + var makeActivityHandler = function (editor, problem_id) { var lastActivityMillis = Date.now(), deltaActivityMillis = function deltaActivityMillisFunc () { var now = Date.now(), |