mod from Joe Strout: when quitting, catch errors in window.close() methods and ignore them. Otherwise one can never quit.