Automatically append correct extension when saving file

[Tom94]

Currently, when saving a file on Windows, the selected extension does nothing while the extension in the chosen filename is all that matters. The behavior should be, that the selected extension is automatically appended when it is not already present.