5b3755a170
One notable change is that if the editor has a display update pending, we wait until it completes before moving on to the next benchmark.