Make backspace work with shift pressed

1 files changed, 4 insertions, 1 deletions

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