Patch #1468808: don't complain if Tkinter is already deleted at the time Font.__del__...

diff --git a/Lib/lib-tk/tkFont.py b/Lib/lib-tk/tkFont.py
index 5b5a6ba36b7827e933038ac6c73b3c1ddb2fc431..15dea2eba3a561e7e3c4bdbc93995f4d28dfe233 100644 (file)
--- a/Lib/lib-tk/tkFont.py
+++ b/Lib/lib-tk/tkFont.py
@@ -108,7 +108,9 @@ class Font:
         try:
             if self.delete_font:
                 self._call("font", "delete", self.name)
-        except (AttributeError, Tkinter.TclError):
+        except (KeyboardInterrupt, SystemExit):
+            raise
+        except Exception:
             pass
 
     def copy(self):