* fixed a bug with broken certificates, where the blue theme was showing first, then the red theme when re-activating the window.