(doc, head, other, options)
| 2133 | |
| 2134 | // Extend the primary selection range, discard the rest. |
| 2135 | function extendSelection(doc, head, other, options) { |
| 2136 | setSelection(doc, new Selection([extendRange(doc, doc.sel.primary(), head, other)], 0), options); |
| 2137 | } |
| 2138 | |
| 2139 | // Extend all selections (pos is an array of selections with length |
| 2140 | // equal the number of selections) |
no test coverage detected