From 28e59b13a7c348570ee15663dc5153c5c8012794 Mon Sep 17 00:00:00 2001
From: Timotej Lazar <timotej.lazar@araneo.org>
Date: Mon, 5 Oct 2015 12:20:19 +0200
Subject: Oops, did not want to remove this yet

---
 js/codeq/robot.js | 12 ++++++++++++
 1 file changed, 12 insertions(+)

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
     });
-- 
cgit v1.2.1