(cm, head, height)
| 12143 | return base; |
| 12144 | } |
| 12145 | function selectForInsert(cm, head, height) { |
| 12146 | var sel = []; |
| 12147 | for (var i = 0; i < height; i++) { |
| 12148 | var lineHead = offsetCursor(head, i, 0); |
| 12149 | sel.push({anchor: lineHead, head: lineHead}); |
| 12150 | } |
| 12151 | cm.setSelections(sel, 0); |
| 12152 | } |
| 12153 | // getIndex returns the index of the cursor in the selections. |
| 12154 | function getIndex(ranges, cursor, end) { |
| 12155 | for (var i = 0; i < ranges.length; i++) { |
no test coverage detected