Only Pinball: Minor bug fixes.

Fixed a bug where changing the fullscreen option was not being saved correctly. Since I'm working on all aspects of the new pinball machine simultaneously, there's nothing new to show yet. But it's progressing well! ːst…