Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
fixup a subtle problem in the replay_controller reset procedure
You can see that this must be done by reading display.cpp and looking at the similar editor code that switches map contexts.
- Loading branch information