Vergleich admin/jscripts/codemirror/addon/fold/foldgutter.js - 1.8.0 - 1.8.7

  Keine Änderungen   Hinzugefügt   Modifiziert   Entfernt
Zeile 67Zeile 67

function updateFoldInfo(cm, from, to) {
var opts = cm.state.foldGutter.options, cur = from;


function updateFoldInfo(cm, from, to) {
var opts = cm.state.foldGutter.options, cur = from;

 
    var minSize = cm.foldOption(opts, "minFoldSize");
var func = cm.foldOption(opts, "rangeFinder");

    cm.eachLine(from, to, function(line) {
var mark = null;
if (isFolded(cm, cur)) {
mark = marker(opts.indicatorFolded);
} else {

    cm.eachLine(from, to, function(line) {
var mark = null;
if (isFolded(cm, cur)) {
mark = marker(opts.indicatorFolded);
} else {

        var pos = Pos(cur, 0), func = opts.rangeFinder || CodeMirror.fold.auto;

        var pos = Pos(cur, 0);

        var range = func && func(cm, pos);

        var range = func && func(cm, pos);

        if (range && range.from.line + 1 < range.to.line)

        if (range && range.to.line - range.from.line >= minSize)

          mark = marker(opts.indicatorOpen);
}
cm.setGutterMarker(line, opts.gutter, mark);

          mark = marker(opts.indicatorOpen);
}
cm.setGutterMarker(line, opts.gutter, mark);