Join GitHub today
GitHub is home to over 50 million developers working together to host and review code, manage projects, and build software together.Sign up
ALL: Pause Token #2147
This PR introduces a new system for managing the pause counter in engines. By using RAII errors with forgotten or duplicate calls to
In particular, this appears to solve the issue in PINK where opening the save and load dialogs from the menu fails to correctly resume the engine.