Vergleich admin/jscripts/codemirror/addon/fold/foldcode.js - 1.8.2 - 1.8.21

  Keine Änderungen   Hinzugefügt   Modifiziert   Entfernt
Zeile 49Zeile 49
    });
var myRange = cm.markText(range.from, range.to, {
replacedWith: myWidget,

    });
var myRange = cm.markText(range.from, range.to, {
replacedWith: myWidget,

      clearOnEnter: true,

      clearOnEnter: getOption(cm, options, "clearOnEnter"),

      __isFold: true
});
myRange.on("clear", function(from, to) {

      __isFold: true
});
myRange.on("clear", function(from, to) {

Zeile 65Zeile 65
      widget = document.createElement("span");
widget.appendChild(text);
widget.className = "CodeMirror-foldmarker";

      widget = document.createElement("span");
widget.appendChild(text);
widget.className = "CodeMirror-foldmarker";

 
    } else if (widget) {
widget = widget.cloneNode(true)

    }
return widget;
}

    }
return widget;
}

Zeile 129Zeile 131
    rangeFinder: CodeMirror.fold.auto,
widget: "\u2194",
minFoldSize: 0,

    rangeFinder: CodeMirror.fold.auto,
widget: "\u2194",
minFoldSize: 0,

    scanUp: false


    scanUp: false,
clearOnEnter: true

  };

CodeMirror.defineOption("foldOptions", null);

  };

CodeMirror.defineOption("foldOptions", null);

Zeile 142Zeile 145
      return editorOptions[name];
return defaultOptions[name];
}

      return editorOptions[name];
return defaultOptions[name];
}

 

CodeMirror.defineExtension("foldOption", function(options, name) {
return getOption(this, options, name);
});

});

});