Don't do pause() on the EDT [1303]