Merge pull request #3866 from RosettaCommons/koepnick/foldit_minimize_window Foldit: Bug fix for window minimization in macOS