Keep the editor responsive to user input by spinning the event loop after every line is re-highlighted.