(doc, array)
| 2099 | } |
| 2100 | function isLine(doc, l) {return l >= doc.first && l < doc.first + doc.size;} |
| 2101 | function clipPosArray(doc, array) { |
| 2102 | for (var out = [], i = 0; i < array.length; i++) out[i] = clipPos(doc, array[i]); |
| 2103 | return out; |
| 2104 | } |
| 2105 | |
| 2106 | // SELECTION UPDATES |
| 2107 |