OpenRA/OpenRA — pull request #2781 by ScottNZ (2013-03-17 08:20:43+00:00)
Title: Pause the game when users navigate to the options menu in SP mode

Fixes #2605