Commit d3845970 by Julia Hansbrough

Removing alt-tab and alt-shift-tab

parent 5a93bb79
...@@ -4,8 +4,6 @@ ...@@ -4,8 +4,6 @@
(function() { (function() {
var keyMap = CodeMirror.keyMap.accessible = { var keyMap = CodeMirror.keyMap.accessible = {
"Alt-Tab": "insertTab",
"Alt-Shift-Tab": "insertTab",
"Tab": false, "Tab": false,
"Shift-Tab": false, "Shift-Tab": false,
fallthrough: "default" fallthrough: "default"
......
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