X-Git-Url: http://git.onelab.eu/?a=blobdiff_plain;f=third-party%2Fcodemirror-3.15%2Faddon%2Ffold%2Findent-fold.js;fp=third-party%2Fcodemirror-3.15%2Faddon%2Ffold%2Findent-fold.js;h=fcbff9669637e8f9d3d02e4f366d735ff5e92bf4;hb=2b1ae67a6922ed97c96d22dc78090a8aea2c3a4d;hp=0000000000000000000000000000000000000000;hpb=47c1017ecb82f8880e56565fb0f2eb7e7baccc5b;p=myslice.git

diff --git a/third-party/codemirror-3.15/addon/fold/indent-fold.js b/third-party/codemirror-3.15/addon/fold/indent-fold.js
new file mode 100644
index 00000000..fcbff966
--- /dev/null
+++ b/third-party/codemirror-3.15/addon/fold/indent-fold.js
@@ -0,0 +1,12 @@
+CodeMirror.registerHelper("fold", "indent", function(cm, start) {
+  var tabSize = cm.getOption("tabSize"), firstLine = cm.getLine(start.line);
+  var myIndent = CodeMirror.countColumn(firstLine, null, tabSize);
+  for (var i = start.line + 1, end = cm.lineCount(); i < end; ++i) {
+    var curLine = cm.getLine(i);
+    if (CodeMirror.countColumn(curLine, null, tabSize) < myIndent &&
+        CodeMirror.countColumn(cm.getLine(i-1), null, tabSize) > myIndent)
+      return {from: CodeMirror.Pos(start.line, firstLine.length),
+              to: CodeMirror.Pos(i, curLine.length)};
+  }
+});
+CodeMirror.indentRangeFinder = CodeMirror.fold.indent; // deprecated