(spec)
| 56 | } |
| 57 | |
| 58 | function marker(spec) { |
| 59 | if (typeof spec == "string") { |
| 60 | var elt = document.createElement("div"); |
| 61 | elt.className = spec + " CodeMirror-guttermarker-subtle"; |
| 62 | return elt; |
| 63 | } else { |
| 64 | return spec.cloneNode(true); |
| 65 | } |
| 66 | } |
| 67 | |
| 68 | function updateFoldInfo(cm, from, to) { |
| 69 | var opts = cm.state.foldGutter.options, cur = from; |