()
| 12502 | } |
| 12503 | } |
| 12504 | function close() { |
| 12505 | if (closing) { |
| 12506 | text += lineSep |
| 12507 | if (extraLinebreak) { |
| 12508 | text += lineSep |
| 12509 | } |
| 12510 | closing = extraLinebreak = false |
| 12511 | } |
| 12512 | } |
| 12513 | function addText(str) { |
| 12514 | if (str) { |
| 12515 | close() |