move a few things away in to-be-integrated/

[myslice.git] / third-party / codemirror-3.15 / addon / fold / indent-fold.js

diff --git a/third-party/codemirror-3.15/addon/fold/indent-fold.js b/third-party/codemirror-3.15/addon/fold/indent-fold.js
deleted file mode 100644 (file)
index fcbff96..0000000
--- a/third-party/codemirror-3.15/addon/fold/indent-fold.js
+++ /dev/null
@@ -1,12 +0,0 @@
-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