(doc, code, from, to, origin)
| 4570 | } |
| 4571 | |
| 4572 | function replaceRange(doc, code, from, to, origin) { |
| 4573 | if (!to) to = from; |
| 4574 | if (cmp(to, from) < 0) { var tmp = to; to = from; from = tmp; } |
| 4575 | if (typeof code == "string") code = doc.splitLines(code); |
| 4576 | makeChange(doc, {from: from, to: to, text: code, origin: origin}); |
| 4577 | } |
| 4578 | |
| 4579 | // SCROLLING THINGS INTO VIEW |
| 4580 |
no test coverage detected