Lines Matching refs:sel
105 var sel = DWgetSelection(textarea);
110 var found = findNextPosition(term, sel.end);
124 var sel = DWgetSelection(textarea);
125 if (sel.start === sel.end) {
130 pasteText(sel, text, {startofs: 0, endofs: 0, nosel: true});
186 var sel = DWgetSelection(textarea);
189 sel.start = start;
190 sel.end = start;
191 sel.scroll = undefined;
192 DWsetSelection(sel);
197 sel.end = start + len;
198 DWsetSelection(sel);