annotate .cms/lib/codemirror/addon/fold/foldcode.js @ 0:78edf6b517a0 draft

24.10
author Coffee CMS <info@coffee-cms.ru>
date Fri, 11 Oct 2024 22:40:23 +0000
parents
children
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
0
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
1 // CodeMirror, copyright (c) by Marijn Haverbeke and others
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
2 // Distributed under an MIT license: https://codemirror.net/5/LICENSE
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
3
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
4 (function(mod) {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
5 if (typeof exports == "object" && typeof module == "object") // CommonJS
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
6 mod(require("../../lib/codemirror"));
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
7 else if (typeof define == "function" && define.amd) // AMD
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
8 define(["../../lib/codemirror"], mod);
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
9 else // Plain browser env
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
10 mod(CodeMirror);
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
11 })(function(CodeMirror) {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
12 "use strict";
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
13
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
14 function doFold(cm, pos, options, force) {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
15 if (options && options.call) {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
16 var finder = options;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
17 options = null;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
18 } else {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
19 var finder = getOption(cm, options, "rangeFinder");
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
20 }
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
21 if (typeof pos == "number") pos = CodeMirror.Pos(pos, 0);
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
22 var minSize = getOption(cm, options, "minFoldSize");
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
23
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
24 function getRange(allowFolded) {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
25 var range = finder(cm, pos);
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
26 if (!range || range.to.line - range.from.line < minSize) return null;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
27 if (force === "fold") return range;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
28
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
29 var marks = cm.findMarksAt(range.from);
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
30 for (var i = 0; i < marks.length; ++i) {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
31 if (marks[i].__isFold) {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
32 if (!allowFolded) return null;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
33 range.cleared = true;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
34 marks[i].clear();
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
35 }
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
36 }
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
37 return range;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
38 }
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
39
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
40 var range = getRange(true);
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
41 if (getOption(cm, options, "scanUp")) while (!range && pos.line > cm.firstLine()) {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
42 pos = CodeMirror.Pos(pos.line - 1, 0);
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
43 range = getRange(false);
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
44 }
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
45 if (!range || range.cleared || force === "unfold") return;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
46
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
47 var myWidget = makeWidget(cm, options, range);
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
48 CodeMirror.on(myWidget, "mousedown", function(e) {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
49 myRange.clear();
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
50 CodeMirror.e_preventDefault(e);
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
51 });
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
52 var myRange = cm.markText(range.from, range.to, {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
53 replacedWith: myWidget,
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
54 clearOnEnter: getOption(cm, options, "clearOnEnter"),
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
55 __isFold: true
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
56 });
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
57 myRange.on("clear", function(from, to) {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
58 CodeMirror.signal(cm, "unfold", cm, from, to);
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
59 });
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
60 CodeMirror.signal(cm, "fold", cm, range.from, range.to);
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
61 }
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
62
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
63 function makeWidget(cm, options, range) {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
64 var widget = getOption(cm, options, "widget");
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
65
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
66 if (typeof widget == "function") {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
67 widget = widget(range.from, range.to);
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
68 }
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
69
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
70 if (typeof widget == "string") {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
71 var text = document.createTextNode(widget);
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
72 widget = document.createElement("span");
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
73 widget.appendChild(text);
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
74 widget.className = "CodeMirror-foldmarker";
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
75 } else if (widget) {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
76 widget = widget.cloneNode(true)
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
77 }
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
78 return widget;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
79 }
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
80
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
81 // Clumsy backwards-compatible interface
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
82 CodeMirror.newFoldFunction = function(rangeFinder, widget) {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
83 return function(cm, pos) { doFold(cm, pos, {rangeFinder: rangeFinder, widget: widget}); };
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
84 };
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
85
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
86 // New-style interface
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
87 CodeMirror.defineExtension("foldCode", function(pos, options, force) {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
88 doFold(this, pos, options, force);
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
89 });
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
90
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
91 CodeMirror.defineExtension("isFolded", function(pos) {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
92 var marks = this.findMarksAt(pos);
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
93 for (var i = 0; i < marks.length; ++i)
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
94 if (marks[i].__isFold) return true;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
95 });
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
96
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
97 CodeMirror.commands.toggleFold = function(cm) {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
98 cm.foldCode(cm.getCursor());
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
99 };
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
100 CodeMirror.commands.fold = function(cm) {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
101 cm.foldCode(cm.getCursor(), null, "fold");
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
102 };
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
103 CodeMirror.commands.unfold = function(cm) {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
104 cm.foldCode(cm.getCursor(), { scanUp: false }, "unfold");
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
105 };
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
106 CodeMirror.commands.foldAll = function(cm) {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
107 cm.operation(function() {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
108 for (var i = cm.firstLine(), e = cm.lastLine(); i <= e; i++)
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
109 cm.foldCode(CodeMirror.Pos(i, 0), { scanUp: false }, "fold");
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
110 });
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
111 };
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
112 CodeMirror.commands.unfoldAll = function(cm) {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
113 cm.operation(function() {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
114 for (var i = cm.firstLine(), e = cm.lastLine(); i <= e; i++)
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
115 cm.foldCode(CodeMirror.Pos(i, 0), { scanUp: false }, "unfold");
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
116 });
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
117 };
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
118
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
119 CodeMirror.registerHelper("fold", "combine", function() {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
120 var funcs = Array.prototype.slice.call(arguments, 0);
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
121 return function(cm, start) {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
122 for (var i = 0; i < funcs.length; ++i) {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
123 var found = funcs[i](cm, start);
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
124 if (found) return found;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
125 }
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
126 };
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
127 });
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
128
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
129 CodeMirror.registerHelper("fold", "auto", function(cm, start) {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
130 var helpers = cm.getHelpers(start, "fold");
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
131 for (var i = 0; i < helpers.length; i++) {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
132 var cur = helpers[i](cm, start);
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
133 if (cur) return cur;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
134 }
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
135 });
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
136
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
137 var defaultOptions = {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
138 rangeFinder: CodeMirror.fold.auto,
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
139 widget: "\u2194",
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
140 minFoldSize: 0,
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
141 scanUp: false,
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
142 clearOnEnter: true
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
143 };
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
144
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
145 CodeMirror.defineOption("foldOptions", null);
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
146
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
147 function getOption(cm, options, name) {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
148 if (options && options[name] !== undefined)
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
149 return options[name];
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
150 var editorOptions = cm.options.foldOptions;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
151 if (editorOptions && editorOptions[name] !== undefined)
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
152 return editorOptions[name];
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
153 return defaultOptions[name];
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
154 }
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
155
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
156 CodeMirror.defineExtension("foldOption", function(options, name) {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
157 return getOption(this, options, name);
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
158 });
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
159 });