(ts, curDoc, doc, start, end)
| 402 | } |
| 403 | |
| 404 | function moveTo(ts, curDoc, doc, start, end) { |
| 405 | doc.doc.setSelection(start, end); |
| 406 | if (curDoc != doc && ts.options.switchToDoc) { |
| 407 | closeArgHints(ts); |
| 408 | ts.options.switchToDoc(doc.name, doc.doc); |
| 409 | } |
| 410 | } |
| 411 | |
| 412 | // The {line,ch} representation of positions makes this rather awkward. |
| 413 | function findContext(doc, data) { |
no test coverage detected