Oops, did not want to remove this yet

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
     });