From 8cbc5d79d4501be40595cc1b0b4086e12fc9b74c Mon Sep 17 00:00:00 2001 From: Matt Pass Date: Sun, 5 Aug 2012 14:18:49 +0100 Subject: [PATCH] Overriding CTRL+Up & Down --- editor.php | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/editor.php b/editor.php index 16e7b98..93631d9 100644 --- a/editor.php +++ b/editor.php @@ -177,7 +177,9 @@ function createNewCMInstance(num) { onGutterClick: !fileName || (fileName && fileName.indexOf(".js") == -1 && fileName.indexOf(".coffee") == -1 && fileName.indexOf(".php") && fileName.indexOf(".rb") == -1) ? codeFold : codeFold_JS_Coffee_PHP_Ruby, extraKeys: { "Tab": function(cm) {CodeMirror.commands[top.tabsIndent ? "defaultTab" : "insertTab"](cm);}, - "Shift-Tab": "indentLess" + "Shift-Tab": "indentLess", + "Ctrl-Up": function() {}, + "Ctrl-Down": function() {} } });