diff options
Diffstat (limited to 'js')
-rw-r--r-- | js/codeq/robot.js | 12 |
1 files changed, 12 insertions, 0 deletions
diff --git a/js/codeq/robot.js b/js/codeq/robot.js index 11b91cf..51965d4 100644 --- a/js/codeq/robot.js +++ b/js/codeq/robot.js @@ -118,6 +118,18 @@ // a constant var firstCharacterPos = {'line': 0, 'ch': 0}; + var makeRobotTerminalHandler = function (jqConsole, editor, problem_id, activityHandler) { + var terminal = codeq.makeConsole(jqConsole, { + 'greeting': 'CodeQ Robot terminal proxy', + 'autoHistory': true + }); + + terminal.onInput = function (text) { + terminal.append('Not implemented.\n', 'output'); + }; + return terminal; + }; + codeq.on('init', function (args) { codeq.tr.registerDictionary('robot', codeq.tr.emptyDictionary); // to make the translator happy, when this screen is not active }); |