(sel, dest)
| 6742 | } |
| 6743 | |
| 6744 | function pushSelectionToHistory(sel, dest) { |
| 6745 | var top = lst(dest) |
| 6746 | if (!(top && top.ranges && top.equals(sel))) { |
| 6747 | dest.push(sel) |
| 6748 | } |
| 6749 | } |
| 6750 | |
| 6751 | // Used to store marked span information in the history. |
| 6752 | function attachLocalSpans(doc, change, from, to) { |
no test coverage detected