(id)
| 1968 | function domTextBetween(cm, from, to, fromLine, toLine) { |
| 1969 | var text = "", closing = false, lineSep = cm.doc.lineSeparator(); |
| 1970 | function recognizeMarker(id) { return function(marker) { return marker.id == id; }; } |
| 1971 | function walk(node) { |
| 1972 | if (node.nodeType == 1) { |
| 1973 | var cmText = node.getAttribute("cm-text"); |