| 123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149 | // CodeMirror, copyright (c) by Marijn Haverbeke and others// Distributed under an MIT license: http://codemirror.net/LICENSE(function(mod) {  if (typeof exports == "object" && typeof module == "object") // CommonJS    mod(require("../../lib/codemirror"));  else if (typeof define == "function" && define.amd) // AMD    define(["../../lib/codemirror"], mod);  else // Plain browser env    mod(CodeMirror);})(function(CodeMirror) {  "use strict";  function doFold(cm, pos, options, force) {    if (options && options.call) {      var finder = options;      options = null;    } else {      var finder = getOption(cm, options, "rangeFinder");    }    if (typeof pos == "number") pos = CodeMirror.Pos(pos, 0);    var minSize = getOption(cm, options, "minFoldSize");    function getRange(allowFolded) {      var range = finder(cm, pos);      if (!range || range.to.line - range.from.line < minSize) return null;      var marks = cm.findMarksAt(range.from);      for (var i = 0; i < marks.length; ++i) {        if (marks[i].__isFold && force !== "fold") {          if (!allowFolded) return null;          range.cleared = true;          marks[i].clear();        }      }      return range;    }    var range = getRange(true);    if (getOption(cm, options, "scanUp")) while (!range && pos.line > cm.firstLine()) {      pos = CodeMirror.Pos(pos.line - 1, 0);      range = getRange(false);    }    if (!range || range.cleared || force === "unfold") return;    var myWidget = makeWidget(cm, options);    CodeMirror.on(myWidget, "mousedown", function(e) {      myRange.clear();      CodeMirror.e_preventDefault(e);    });    var myRange = cm.markText(range.from, range.to, {      replacedWith: myWidget,      clearOnEnter: true,      __isFold: true    });    myRange.on("clear", function(from, to) {      CodeMirror.signal(cm, "unfold", cm, from, to);    });    CodeMirror.signal(cm, "fold", cm, range.from, range.to);  }  function makeWidget(cm, options) {    var widget = getOption(cm, options, "widget");    if (typeof widget == "string") {      var text = document.createTextNode(widget);      widget = document.createElement("span");      widget.appendChild(text);      widget.className = "CodeMirror-foldmarker";    }    return widget;  }  // Clumsy backwards-compatible interface  CodeMirror.newFoldFunction = function(rangeFinder, widget) {    return function(cm, pos) { doFold(cm, pos, {rangeFinder: rangeFinder, widget: widget}); };  };  // New-style interface  CodeMirror.defineExtension("foldCode", function(pos, options, force) {    doFold(this, pos, options, force);  });  CodeMirror.defineExtension("isFolded", function(pos) {    var marks = this.findMarksAt(pos);    for (var i = 0; i < marks.length; ++i)      if (marks[i].__isFold) return true;  });  CodeMirror.commands.toggleFold = function(cm) {    cm.foldCode(cm.getCursor());  };  CodeMirror.commands.fold = function(cm) {    cm.foldCode(cm.getCursor(), null, "fold");  };  CodeMirror.commands.unfold = function(cm) {    cm.foldCode(cm.getCursor(), null, "unfold");  };  CodeMirror.commands.foldAll = function(cm) {    cm.operation(function() {      for (var i = cm.firstLine(), e = cm.lastLine(); i <= e; i++)        cm.foldCode(CodeMirror.Pos(i, 0), null, "fold");    });  };  CodeMirror.commands.unfoldAll = function(cm) {    cm.operation(function() {      for (var i = cm.firstLine(), e = cm.lastLine(); i <= e; i++)        cm.foldCode(CodeMirror.Pos(i, 0), null, "unfold");    });  };  CodeMirror.registerHelper("fold", "combine", function() {    var funcs = Array.prototype.slice.call(arguments, 0);    return function(cm, start) {      for (var i = 0; i < funcs.length; ++i) {        var found = funcs[i](cm, start);        if (found) return found;      }    };  });  CodeMirror.registerHelper("fold", "auto", function(cm, start) {    var helpers = cm.getHelpers(start, "fold");    for (var i = 0; i < helpers.length; i++) {      var cur = helpers[i](cm, start);      if (cur) return cur;    }  });  var defaultOptions = {    rangeFinder: CodeMirror.fold.auto,    widget: "\u2194",    minFoldSize: 0,    scanUp: false  };  CodeMirror.defineOption("foldOptions", null);  function getOption(cm, options, name) {    if (options && options[name] !== undefined)      return options[name];    var editorOptions = cm.options.foldOptions;    if (editorOptions && editorOptions[name] !== undefined)      return editorOptions[name];    return defaultOptions[name];  }  CodeMirror.defineExtension("foldOption", function(options, name) {    return getOption(this, options, name);  });});
 |