()
| 420 | let text = "", closing = false, lineSep = cm.doc.lineSeparator(), extraLinebreak = false |
| 421 | function recognizeMarker(id) { return marker => marker.id == id } |
| 422 | function close() { |
| 423 | if (closing) { |
| 424 | text += lineSep |
| 425 | if (extraLinebreak) text += lineSep |
| 426 | closing = extraLinebreak = false |
| 427 | } |
| 428 | } |
| 429 | function addText(str) { |
| 430 | if (str) { |
| 431 | close() |