(doc, array)
| 1031 | } |
| 1032 | function isLine(doc, l) {return l >= doc.first && l < doc.first + doc.size;} |
| 1033 | function clipPosArray(doc, array) { |
| 1034 | for (var out = [], i = 0; i < array.length; i++) out[i] = clipPos(doc, array[i]); |
| 1035 | return out; |
| 1036 | } |
| 1037 | |
| 1038 | // SELECTION UPDATES |
| 1039 |