summaryrefslogtreecommitdiff
path: root/public/vendor/codemirror/addon/fold/foldcode.js
diff options
context:
space:
mode:
Diffstat (limited to 'public/vendor/codemirror/addon/fold/foldcode.js')
-rw-r--r--public/vendor/codemirror/addon/fold/foldcode.js150
1 files changed, 0 insertions, 150 deletions
diff --git a/public/vendor/codemirror/addon/fold/foldcode.js b/public/vendor/codemirror/addon/fold/foldcode.js
deleted file mode 100644
index 78b36c46..00000000
--- a/public/vendor/codemirror/addon/fold/foldcode.js
+++ /dev/null
@@ -1,150 +0,0 @@
-// 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: getOption(cm, options, "clearOnEnter"),
- __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,
- clearOnEnter: true
- };
-
- 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);
- });
-});