(id)
| 1963 | function domTextBetween(cm, from, to, fromLine, toLine) { |
| 1964 | var text = "", closing = false, lineSep = cm.doc.lineSeparator(); |
| 1965 | function recognizeMarker(id) { return function(marker) { return marker.id == id; }; } |
| 1966 | function walk(node) { |
| 1967 | if (node.nodeType == 1) { |
| 1968 | var cmText = node.getAttribute("cm-text"); |