patch deletion in codemirror

Carreau · Jul 27, 2012 · 331a5f7 · 331a5f7
1 parent f502d7e
commit 331a5f7
Showing 1 changed file with 14 additions and 0 deletions.
diff --git a/IPython/frontend/html/notebook/static/codemirror/lib/codemirror.js b/IPython/frontend/html/notebook/static/codemirror/lib/codemirror.js
@@ -2194,6 +2194,20 @@ 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 = {};