Restore Alt-f4 quit shortcut for Windows users.
Merge pull request #3637 from pchote/ripley-f7u12

Restore alt-f4 for windows users only.