| 467 | } |
| 468 | |
| 469 | function selectName(ts, cm) { |
| 470 | var name = findDoc(ts, cm.doc).name; |
| 471 | ts.request(cm, {type: "refs"}, function(error, data) { |
| 472 | if (error) return showError(ts, cm, error); |
| 473 | var ranges = [], cur = 0; |
| 474 | var curPos = cm.getCursor(); |
| 475 | for (var i = 0; i < data.refs.length; i++) { |
| 476 | var ref = data.refs[i]; |
| 477 | if (ref.file == name) { |
| 478 | ranges.push({anchor: ref.start, head: ref.end}); |
| 479 | if (cmpPos(curPos, ref.start) >= 0 && cmpPos(curPos, ref.end) <= 0) |
| 480 | cur = ranges.length - 1; |
| 481 | } |
| 482 | } |
| 483 | cm.setSelections(ranges, cur); |
| 484 | }); |
| 485 | } |
| 486 | |
| 487 | var nextChangeOrig = 0; |
| 488 | function applyChanges(ts, changes) { |