Commit 5a93bb79 by Julia Hansbrough

Removing unnecessary commands

parent 99321fc4
...@@ -4,23 +4,10 @@ ...@@ -4,23 +4,10 @@
(function() { (function() {
var keyMap = CodeMirror.keyMap.accessible = { var keyMap = CodeMirror.keyMap.accessible = {
"Left": "goCharLeft",
"Right": "goCharRight",
"Up": "goLineUp",
"Down": "goLineDown",
"End": "goLineEnd",
"Home": "goLineStartSmart",
"PageUp": "goPageUp",
"PageDown": "goPageDown",
"Delete": "delCharAfter",
"Backspace": "delCharBefore",
"Shift-Backspace": "delCharBefore",
"Alt-Tab": "insertTab", "Alt-Tab": "insertTab",
"Alt-Shift-Tab": "insertTab", "Alt-Shift-Tab": "insertTab",
"Tab": false, "Tab": false,
"Shift-Tab": false, "Shift-Tab": false,
"Enter": "newlineAndIndent",
"Insert": "toggleOverwrite",
fallthrough: "default" fallthrough: "default"
}; };
})(); })();
\ No newline at end of file
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment