(cm, options)
| 59 | } |
| 60 | |
| 61 | function makeWidget(cm, options) { |
| 62 | var widget = getOption(cm, options, "widget"); |
| 63 | if (typeof widget == "string") { |
| 64 | var text = document.createTextNode(widget); |
| 65 | widget = document.createElement("span"); |
| 66 | widget.appendChild(text); |
| 67 | widget.className = "CodeMirror-foldmarker"; |
| 68 | } |
| 69 | return widget; |
| 70 | } |
| 71 | |
| 72 | // Clumsy backwards-compatible interface |
| 73 | CodeMirror.newFoldFunction = function(rangeFinder, widget) { |