third-party/codemirror-3.15/addon/fold/indent-fold.js

   1 CodeMirror.registerHelper("fold", "indent", function(cm, start) {
   2   var tabSize = cm.getOption("tabSize"), firstLine = cm.getLine(start.line);
   3   var myIndent = CodeMirror.countColumn(firstLine, null, tabSize);
   4   for (var i = start.line + 1, end = cm.lineCount(); i < end; ++i) {
   5     var curLine = cm.getLine(i);
   6     if (CodeMirror.countColumn(curLine, null, tabSize) < myIndent &&
   7         CodeMirror.countColumn(cm.getLine(i-1), null, tabSize) > myIndent)
   8       return {from: CodeMirror.Pos(start.line, firstLine.length),
   9               to: CodeMirror.Pos(i, curLine.length)};
  10   }
  11 });
  12 CodeMirror.indentRangeFinder = CodeMirror.fold.indent; // deprecated