Vergleich admin/jscripts/codemirror/addon/fold/foldcode.js - 1.8.3 - 1.8.5

  Keine Änderungen   Hinzugefügt   Modifiziert   Entfernt
Zeile 142Zeile 142
      return editorOptions[name];
return defaultOptions[name];
}

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

 

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

});

});