At least on Linux, fixes an annoying issue where closing the application

window causes it to disappear and reappear briefly before exiting.