(dv, to, from, chunk)
| 424 | } |
| 425 | |
| 426 | function copyChunk(dv, to, from, chunk) { |
| 427 | if (dv.diffOutOfDate) return; |
| 428 | to.replaceRange(from.getRange(Pos(chunk.origFrom, 0), Pos(chunk.origTo, 0)), |
| 429 | Pos(chunk.editFrom, 0), Pos(chunk.editTo, 0)); |
| 430 | } |
| 431 | |
| 432 | // Merge view, containing 0, 1, or 2 diff views. |
| 433 |