summaryrefslogtreecommitdiff
path: root/js/codeq
diff options
context:
space:
mode:
authorTimotej Lazar <timotej.lazar@araneo.org>2015-10-05 12:20:19 +0200
committerTimotej Lazar <timotej.lazar@araneo.org>2015-10-05 12:20:19 +0200
commit28e59b13a7c348570ee15663dc5153c5c8012794 (patch)
tree6727dc81e15fd9ea6a1b6386320b94395f8bf5c9 /js/codeq
parent495088ec00f711f576612e0c3db1fec649134c83 (diff)
Oops, did not want to remove this yet
Diffstat (limited to 'js/codeq')
-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
});