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

Just van Rossum · Just van Rossum · commit d58c7464d96e · 1999-06-22T18:37:35.000Z
diff --git a/Mac/Tools/IDE/PythonIDEMain.py b/Mac/Tools/IDE/PythonIDEMain.py
@@ -228,7 +228,10 @@ def _quit(self):
 		PyConsole.output.writeprefs()
 		PyEdit.searchengine.writeprefs()
 		for window in self._windows.values():
-			rv = window.close()
+			try:
+				rv = window.close() # ignore any errors while quitting
+			except:
+				rv = 0   # (otherwise, we can get stuck!)
 			if rv and rv > 0:
 				return
 		self.quitting = 1
