(doc, origin, prev, sel)
| 4896 | } |
| 4897 | |
| 4898 | function selectionEventCanBeMerged(doc, origin, prev, sel) { |
| 4899 | var ch = origin.charAt(0); |
| 4900 | return ch == "*" || |
| 4901 | ch == "+" && |
| 4902 | prev.ranges.length == sel.ranges.length && |
| 4903 | prev.somethingSelected() == sel.somethingSelected() && |
| 4904 | new Date - doc.history.lastSelTime <= (doc.cm ? doc.cm.options.historyEventDelay : 500) |
| 4905 | } |
| 4906 | |
| 4907 | // Called whenever the selection changes, sets the new selection as |
| 4908 | // the pending selection in the history, and pushes the old pending |
no outgoing calls
no test coverage detected