From 0365b47d1ced7c5835b135d2af62b5512a6cb88a Mon Sep 17 00:00:00 2001
From: Zanqi Liang <zanqi.liang@gmail.com>
Date: Sat, 3 Nov 2012 16:13:40 -0400
Subject: [PATCH] Remove unnecessary extrakey for CodeMirror

---
 src/editor/Editor.js | 3 ---
 1 file changed, 3 deletions(-)

diff --git a/src/editor/Editor.js b/src/editor/Editor.js
index bff7ab36262..380c5aef204 100644
--- a/src/editor/Editor.js
+++ b/src/editor/Editor.js
@@ -320,9 +320,6 @@ define(function (require, exports, module) {
             "Esc": function (instance) {
                 self.removeAllInlineWidgets();
             },
-            "Shift-Delete": "cut",
-            "Ctrl-Insert": "copy",
-            "Shift-Insert": "paste",
             "'>'": function (cm) { cm.closeTag(cm, '>'); },
             "'/'": function (cm) { cm.closeTag(cm, '/'); }
         };