browser/devtools/sourceeditor/codemirror/fold/foldcode.js@6474c204b198
browser/devtools/sourceeditor/codemirror/fold/foldcode.js
Wed, 31 Dec 2014 06:09:35 +0100
- author
- Michael Schloh von Bennewitz <michael@schloh.com>
- date
- Wed, 31 Dec 2014 06:09:35 +0100
- changeset 0
- 6474c204b198
- permissions
- -rw-r--r--
Cloned upstream origin tor-browser at tor-browser-31.3.0esr-4.5-1-build1
revision ID fc1c9ff7c1b2defdbc039f12214767608f46423f for hacking purpose.
1 (function() {
2 "use strict";
4 function doFold(cm, pos, options, force) {
5 var finder = options && (options.call ? options : options.rangeFinder);
6 if (!finder) finder = CodeMirror.fold.auto;
7 if (typeof pos == "number") pos = CodeMirror.Pos(pos, 0);
8 var minSize = options && options.minFoldSize || 0;
10 function getRange(allowFolded) {
11 var range = finder(cm, pos);
12 if (!range || range.to.line - range.from.line < minSize) return null;
13 var marks = cm.findMarksAt(range.from);
14 for (var i = 0; i < marks.length; ++i) {
15 if (marks[i].__isFold && force !== "fold") {
16 if (!allowFolded) return null;
17 range.cleared = true;
18 marks[i].clear();
19 }
20 }
21 return range;
22 }
24 var range = getRange(true);
25 if (options && options.scanUp) while (!range && pos.line > cm.firstLine()) {
26 pos = CodeMirror.Pos(pos.line - 1, 0);
27 range = getRange(false);
28 }
29 if (!range || range.cleared || force === "unfold") return;
31 var myWidget = makeWidget(options);
32 CodeMirror.on(myWidget, "mousedown", function() { myRange.clear(); });
33 var myRange = cm.markText(range.from, range.to, {
34 replacedWith: myWidget,
35 clearOnEnter: true,
36 __isFold: true
37 });
38 myRange.on("clear", function(from, to) {
39 CodeMirror.signal(cm, "unfold", cm, from, to);
40 });
41 CodeMirror.signal(cm, "fold", cm, range.from, range.to);
42 }
44 function makeWidget(options) {
45 var widget = (options && options.widget) || "\u2194";
46 if (typeof widget == "string") {
47 var text = document.createTextNode(widget);
48 widget = document.createElement("span");
49 widget.appendChild(text);
50 widget.className = "CodeMirror-foldmarker";
51 }
52 return widget;
53 }
55 // Clumsy backwards-compatible interface
56 CodeMirror.newFoldFunction = function(rangeFinder, widget) {
57 return function(cm, pos) { doFold(cm, pos, {rangeFinder: rangeFinder, widget: widget}); };
58 };
60 // New-style interface
61 CodeMirror.defineExtension("foldCode", function(pos, options, force) {
62 doFold(this, pos, options, force);
63 });
65 CodeMirror.commands.fold = function(cm) {
66 cm.foldCode(cm.getCursor());
67 };
69 CodeMirror.registerHelper("fold", "combine", function() {
70 var funcs = Array.prototype.slice.call(arguments, 0);
71 return function(cm, start) {
72 for (var i = 0; i < funcs.length; ++i) {
73 var found = funcs[i](cm, start);
74 if (found) return found;
75 }
76 };
77 });
79 CodeMirror.registerHelper("fold", "auto", function(cm, start) {
80 var helpers = cm.getHelpers(start, "fold");
81 for (var i = 0; i < helpers.length; i++) {
82 var cur = helpers[i](cm, start);
83 if (cur) return cur;
84 }
85 });
86 })();
