From dce9340d12b0be9f541217e0a2dc92bcd17fd6da Mon Sep 17 00:00:00 2001
From: Timotej Lazar <timotej.lazar@fri.uni-lj.si>
Date: Sat, 10 Oct 2015 17:25:27 +0200
Subject: Make backspace work with shift pressed
---
js/codeq/console.js | 5 ++++-
1 file changed, 4 insertions(+), 1 deletion(-)
(limited to 'js')
diff --git a/js/codeq/console.js b/js/codeq/console.js
index 2cc7efd..a9c345d 100644
--- a/js/codeq/console.js
+++ b/js/codeq/console.js
@@ -12,12 +12,15 @@
'ArrowRight': function () { this.moveRight(); return false; },
'ArrowUp': function () { this.showPreviousHistory(); return false; },
'ArrowDown': function () { this.showNextHistory(); return false; },
- 'Backspace': function () { this.deleteCharacterLeft(); return false; },
+ 'Backspace': function () { this.deleteCharacterLeft(); return false; },
'Delete': function () { this.deleteCharacterRight(); return false; },
'End': function () { this.moveToEndOfLine(); return false; },
'Home': function () { this.moveToStartOfLine(); return false; },
'Enter': function () { return true; }, // if it returns false in line-buffered mode, then a line will never be formed -> no input ever
'Tab': noop
+ },
+ '100': {
+ 'Backspace': function () { this.deleteCharacterLeft(); return false; },
}
};
--
cgit v1.2.1