EnvirGui can handle changing global specs better.