(doc,heads,options)
| 1127 | function extendSelection(doc,head,other,options,extend){if(extend==null){extend=doc.cm&&(doc.cm.display.shift||doc.extend);} |
| 1128 | setSelection(doc,new Selection([extendRange(doc.sel.primary(),head,other,extend)],0),options);} |
| 1129 | function extendSelections(doc,heads,options){var out=[];var extend=doc.cm&&(doc.cm.display.shift||doc.extend);for(var i=0;i<doc.sel.ranges.length;i++) |
| 1130 | {out[i]=extendRange(doc.sel.ranges[i],heads[i],null,extend);} |
| 1131 | var newSel=normalizeSelection(doc.cm,out,doc.sel.primIndex);setSelection(doc,newSel,options);} |
| 1132 | function replaceOneSelection(doc,i,range,options){var ranges=doc.sel.ranges.slice(0);ranges[i]=range;setSelection(doc,normalizeSelection(doc.cm,ranges,doc.sel.primIndex),options);} |
| 1133 | function setSimpleSelection(doc,anchor,head,options){setSelection(doc,simpleSelection(anchor,head),options);} |
| 1134 | function filterSelectionChange(doc,sel,options){var obj={ranges:sel.ranges,update:function(ranges){this.ranges=[];for(var i=0;i<ranges.length;i++) |
no test coverage detected