(doc, array)
| 2003 | } |
| 2004 | function isLine(doc, l) {return l >= doc.first && l < doc.first + doc.size;} |
| 2005 | function clipPosArray(doc, array) { |
| 2006 | for (var out = [], i = 0; i < array.length; i++) out[i] = clipPos(doc, array[i]); |
| 2007 | return out; |
| 2008 | } |
| 2009 | |
| 2010 | // SELECTION UPDATES |
| 2011 |