Remove shortcuts that override browser actions

This commit is contained in:
yflory
2017-04-13 16:42:26 +02:00
parent 07705cd5c1
commit 2ad0a65b71
3 changed files with 22 additions and 2 deletions

View File

@@ -83,7 +83,7 @@ define([
styleActiveLine : true,
search: true,
highlightSelectionMatches: {showToken: /\w+/},
extraKeys: {"Ctrl-Q": function(cm){ cm.foldCode(cm.getCursor()); }},
extraKeys: {"Shift-Ctrl-R": undefined},
foldGutter: true,
gutters: ["CodeMirror-linenumbers", "CodeMirror-foldgutter"],
mode: "javascript",