(ts, curDoc, doc, start, end)
| 409 | } |
| 410 | |
| 411 | function moveTo(ts, curDoc, doc, start, end) { |
| 412 | doc.doc.setSelection(start, end); |
| 413 | if (curDoc != doc && ts.options.switchToDoc) { |
| 414 | closeArgHints(ts); |
| 415 | ts.options.switchToDoc(doc.name, doc.doc); |
| 416 | } |
| 417 | } |
| 418 | |
| 419 | // The {line,ch} representation of positions makes this rather awkward. |
| 420 | function findContext(doc, data) { |
no test coverage detected