(cm, time)
| 2430 | // HIGHLIGHT WORKER |
| 2431 | |
| 2432 | function startWorker(cm, time) { |
| 2433 | if (cm.doc.mode.startState && cm.doc.frontier < cm.display.viewTo) |
| 2434 | cm.state.highlight.set(time, bind(highlightWorker, cm)); |
| 2435 | } |
| 2436 | |
| 2437 | function highlightWorker(cm) { |
| 2438 | var doc = cm.doc; |
no test coverage detected