(doc, heads, options)
| 2144 | // Extend all selections (pos is an array of selections with length |
| 2145 | // equal the number of selections) |
| 2146 | function extendSelections(doc, heads, options) { |
| 2147 | for (var out = [], i = 0; i < doc.sel.ranges.length; i++) |
| 2148 | out[i] = extendRange(doc, doc.sel.ranges[i], heads[i], null); |
| 2149 | var newSel = normalizeSelection(out, doc.sel.primIndex); |
| 2150 | setSelection(doc, newSel, options); |
| 2151 | } |
| 2152 | |
| 2153 | // Updates a single range in the selection. |
| 2154 | function replaceOneSelection(doc, i, range, options) { |
no test coverage detected