Issue #319: Saving project settings on quitting app.