(cm, time)
| 5757 | // HIGHLIGHT WORKER |
| 5758 | |
| 5759 | function startWorker(cm, time) { |
| 5760 | if (cm.doc.highlightFrontier < cm.display.viewTo) { |
| 5761 | cm.state.highlight.set(time, bind(highlightWorker, cm)) |
| 5762 | } |
| 5763 | } |
| 5764 | |
| 5765 | function highlightWorker(cm) { |
| 5766 | var doc = cm.doc |
no test coverage detected