Function startWorker

tools/pythonauto/static/codemirrorepl/codemirrorepl.js:2051–2054

(time)

                options.onHighlightComplete(instance);
        }
        function startWorker(time) {
            if (!work.length) return;
            highlight.set(time, operation(highlightWorker));
        }

        // Operations are used to wrap changes in such a way that each
        // change won't have to update the cursor and display (which would