(id)
| 1867 | function domTextBetween(cm, from, to, fromLine, toLine) { |
| 1868 | var text = "", closing = false; |
| 1869 | function recognizeMarker(id) { return function(marker) { return marker.id == id; }; } |
| 1870 | function walk(node) { |
| 1871 | if (node.nodeType == 1) { |
| 1872 | var cmText = node.getAttribute("cm-text"); |