diff options
-rw-r--r-- | public/js/index.js | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/public/js/index.js b/public/js/index.js index c3ed5f80..3f0ed593 100644 --- a/public/js/index.js +++ b/public/js/index.js @@ -9,10 +9,10 @@ var defaultExtraKeys = { else if (cm.getOption("fullScreen")) cm.setOption("fullScreen", false); }, "Cmd-S": function () { - return CodeMirror.Pass + return false; }, "Ctrl-S": function () { - return CodeMirror.Pass + return false; }, "Enter": "newlineAndIndentContinueMarkdownList", "Tab": function (cm) { @@ -2905,19 +2905,19 @@ $(editor.getInputField()) $(this).data('autocompleting', true); editor.setOption("extraKeys", { "Up": function () { - return CodeMirror.Pass; + return false; }, "Right": function () { editor.doc.cm.execCommand("goCharRight"); }, "Down": function () { - return CodeMirror.Pass; + return false; }, "Left": function () { editor.doc.cm.execCommand("goCharLeft"); }, "Enter": function () { - return CodeMirror.Pass; + return false; }, "Backspace": function () { editor.doc.cm.execCommand("delCharBefore"); |