(array)
| 7892 | // Pop all selection events off the end of a history array. Stop at |
| 7893 | // a change event. |
| 7894 | function clearSelectionEvents(array) { |
| 7895 | while (array.length) { |
| 7896 | var last = lst(array); |
| 7897 | if (last.ranges) array.pop(); |
| 7898 | else break; |
| 7899 | } |
| 7900 | } |
| 7901 | |
| 7902 | // Find the top change event in the history. Pop off selection |
| 7903 | // events that are in the way. |
no test coverage detected