Can now close a file using Ctrl+W on Windows (as well as with Ctrl+F4; closes #330).