(doc, origin, prev, sel)
| 7959 | } |
| 7960 | |
| 7961 | function selectionEventCanBeMerged(doc, origin, prev, sel) { |
| 7962 | var ch = origin.charAt(0); |
| 7963 | return ch == "*" || |
| 7964 | ch == "+" && |
| 7965 | prev.ranges.length == sel.ranges.length && |
| 7966 | prev.somethingSelected() == sel.somethingSelected() && |
| 7967 | new Date - doc.history.lastSelTime <= (doc.cm ? doc.cm.options.historyEventDelay : 500); |
| 7968 | } |
| 7969 | |
| 7970 | // Called whenever the selection changes, sets the new selection as |
| 7971 | // the pending selection in the history, and pushes the old pending |
no outgoing calls
no test coverage detected