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

sk-/python2.7-type-annotator,sk-/python2.7-type-annotator,sk-/python2.7-type-annotator