(doc, origin, prev, sel)
| 6711 | } |
| 6712 | |
| 6713 | function selectionEventCanBeMerged(doc, origin, prev, sel) { |
| 6714 | var ch = origin.charAt(0) |
| 6715 | return ch == "*" || (ch == "+" && prev.ranges.length == sel.ranges.length && prev.somethingSelected() == sel.somethingSelected() && new Date() - doc.history.lastSelTime <= (doc.cm ? doc.cm.options.historyEventDelay : 500)) |
| 6716 | } |
| 6717 | |
| 6718 | // Called whenever the selection changes, sets the new selection as |
| 6719 | // the pending selection in the history, and pushes the old pending |
no outgoing calls
no test coverage detected