summaryrefslogtreecommitdiff
path: root/js
diff options
context:
space:
mode:
Diffstat (limited to 'js')
-rw-r--r--js/codeq/robot.js12
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
});