(doc, sel, options)
| 2160 | // Give beforeSelectionChange handlers a change to influence a |
| 2161 | // selection update. |
| 2162 | function filterSelectionChange(doc, sel, options) { |
| 2163 | var obj = { |
| 2164 | ranges: sel.ranges, |
| 2165 | update: function(ranges) { |
| 2166 | this.ranges = []; |
| 2167 | for (var i = 0; i < ranges.length; i++) |
| 2168 | this.ranges[i] = new Range(clipPos(doc, ranges[i].anchor), |
| 2169 | clipPos(doc, ranges[i].head)); |
| 2170 | }, |
| 2171 | origin: options && options.origin |
| 2172 | }; |
| 2173 | signal(doc, "beforeSelectionChange", doc, obj); |
| 2174 | if (doc.cm) signal(doc.cm, "beforeSelectionChange", doc.cm, obj); |
| 2175 | if (obj.ranges != sel.ranges) return normalizeSelection(obj.ranges, obj.ranges.length - 1); |
| 2176 | else return sel; |
| 2177 | } |
| 2178 | |
| 2179 | function setSelectionReplaceHistory(doc, sel, options) { |
| 2180 | var done = doc.history.done, last = lst(done); |
no test coverage detected