public/javascripts/erp_app/codemirror/lib/util/overlay.js in erp_app-3.0.12 vs public/javascripts/erp_app/codemirror/lib/util/overlay.js in erp_app-3.0.13

@@ -47,8 +47,13 @@
     indent: base.indent && function(state, textAfter) {
       return base.indent(state.base, textAfter);
     },
     electricChars: base.electricChars,
 
-    innerMode: function(state) { return {state: state.base, mode: base}; }
+    innerMode: function(state) { return {state: state.base, mode: base}; },
+    
+    blankLine: function(state) {
+      if (base.blankLine) base.blankLine(state.base);
+      if (overlay.blankLine) overlay.blankLine(state.overlay);
+    }
   };
 };