foldcode.js 2.3 KB

12345678910111213141516171819202122232425262728293031323334353637383940414243444546474849505152535455565758596061626364656667686970717273
  1. (function() {
  2. "use strict";
  3. function doFold(cm, pos, options) {
  4. var finder = options && (options.call ? options : options.rangeFinder);
  5. if (!finder) finder = cm.getHelper(pos, "fold");
  6. if (!finder) return;
  7. if (typeof pos == "number") pos = CodeMirror.Pos(pos, 0);
  8. var minSize = options && options.minFoldSize || 0;
  9. function getRange(allowFolded) {
  10. var range = finder(cm, pos);
  11. if (!range || range.to.line - range.from.line < minSize) return null;
  12. var marks = cm.findMarksAt(range.from);
  13. for (var i = 0; i < marks.length; ++i) {
  14. if (marks[i].__isFold) {
  15. if (!allowFolded) return null;
  16. range.cleared = true;
  17. marks[i].clear();
  18. }
  19. }
  20. return range;
  21. }
  22. var range = getRange(true);
  23. if (options && options.scanUp) while (!range && pos.line > cm.firstLine()) {
  24. pos = CodeMirror.Pos(pos.line - 1, 0);
  25. range = getRange(false);
  26. }
  27. if (!range || range.cleared) return;
  28. var myWidget = makeWidget(options);
  29. CodeMirror.on(myWidget, "mousedown", function() { myRange.clear(); });
  30. var myRange = cm.markText(range.from, range.to, {
  31. replacedWith: myWidget,
  32. clearOnEnter: true,
  33. __isFold: true
  34. });
  35. myRange.on("clear", function(from, to) {
  36. CodeMirror.signal(cm, "unfold", cm, from, to);
  37. });
  38. CodeMirror.signal(cm, "fold", cm, range.from, range.to);
  39. }
  40. function makeWidget(options) {
  41. var widget = (options && options.widget) || "\u2194";
  42. if (typeof widget == "string") {
  43. var text = document.createTextNode(widget);
  44. widget = document.createElement("span");
  45. widget.appendChild(text);
  46. widget.className = "CodeMirror-foldmarker";
  47. }
  48. return widget;
  49. }
  50. // Clumsy backwards-compatible interface
  51. CodeMirror.newFoldFunction = function(rangeFinder, widget) {
  52. return function(cm, pos) { doFold(cm, pos, {rangeFinder: rangeFinder, widget: widget}); };
  53. };
  54. // New-style interface
  55. CodeMirror.defineExtension("foldCode", function(pos, options) { doFold(this, pos, options); });
  56. CodeMirror.registerHelper("fold", "combine", function() {
  57. var funcs = Array.prototype.slice.call(arguments, 0);
  58. return function(cm, start) {
  59. for (var i = 0; i < funcs.length; ++i) {
  60. var found = funcs[i](cm, start);
  61. if (found) return found;
  62. }
  63. };
  64. });
  65. })();