Adding "Save Game As..." for saving games

The 3.2.17-svn9220 build has both “Save Game” and “Save Game As…” for saving games. Previously, “Save Game” behaved like a Save As command.

Please give this build a try and let us know if you see any problems with this new behavior.

I’ve uploaded 3.2.17-svn9228, which (possibly) fixes a problem with saving found by David Sullivan: