[Bug 15231] Pro Pinball fails to change resolutions