author: Manuel Moos
Only pumping events during mid-round sync pauses, this still lets them
react to application quits and makes the game appear responsive and
non-stuck. It would actually be responsive if events would also be
processed in all situations, but we can't do that; activating the menu
during sync pauses would mess a lot up.