From 44eca61de0da4279813c8e25a1dd1190998337b6 2013-02-09 21:39:05
From: Matthias BUSSONNIER <bussonniermatthias@gmail.com>
Date: 2013-02-09 21:39:05
Subject: [PATCH] Revert "patch deletion in codemirror"

This reverts commit 331a5f7fe85a6e894c35b64cd7987ed53f59ea57.

---

diff --git a/IPython/frontend/html/notebook/static/codemirror/lib/codemirror.js b/IPython/frontend/html/notebook/static/codemirror/lib/codemirror.js
index 98eceec..f4f3c67 100644
--- a/IPython/frontend/html/notebook/static/codemirror/lib/codemirror.js
+++ b/IPython/frontend/html/notebook/static/codemirror/lib/codemirror.js
@@ -2194,20 +2194,6 @@ var CodeMirror = (function() {
       cm.indentLine(cm.getCursor().line);
     },
     toggleOverwrite: function(cm) {cm.toggleOverwrite();}
-    ,delSpaceToPrevTabStop : function(cm){
-        var from = cm.getCursor(true), to = cm.getCursor(false), sel = !posEq(from, to);
-        if (!posEq(from, to)) {cm.replaceRange("", from, to); return}
-        var cur = cm.getCursor(), line = cm.getLine(cur.line);
-        var tabsize = cm.getOption('tabSize');
-        var chToPrevTabStop = cur.ch-(Math.ceil(cur.ch/tabsize)-1)*tabsize;
-        var from = {ch:cur.ch-chToPrevTabStop,line:cur.line}
-        var select = cm.getRange(from,cur)
-        if( select.match(/^\ +$/) != null){
-            cm.replaceRange("",from,cur)
-        } else {
-            cm.deleteH(-1,"char")
-        }
-    }
   };
 
   var keyMap = CodeMirror.keyMap = {};