(doc, heads, options)
| 2043 | // Extend all selections (pos is an array of selections with length |
| 2044 | // equal the number of selections) |
| 2045 | function extendSelections(doc, heads, options) { |
| 2046 | for (var out = [], i = 0; i < doc.sel.ranges.length; i++) |
| 2047 | out[i] = extendRange(doc, doc.sel.ranges[i], heads[i], null); |
| 2048 | var newSel = normalizeSelection(out, doc.sel.primIndex); |
| 2049 | setSelection(doc, newSel, options); |
| 2050 | } |
| 2051 | |
| 2052 | // Updates a single range in the selection. |
| 2053 | function replaceOneSelection(doc, i, range, options) { |
no test coverage detected