[Bug 15231] New: Pro Pinball fails to change resolutions