| commit | 314fce92dd12a8ff82876bd18845a2249a931fae | [log] [tgz] |
|---|---|---|
| author | Georg Brandl <georg@python.org> | Wed Apr 12 15:28:49 2006 +0000 |
| committer | Georg Brandl <georg@python.org> | Wed Apr 12 15:28:49 2006 +0000 |
| tree | 85e5c357f949a1eec530a31591c8f7db3428ef3a | |
| parent | 6a67e4ead43583b0c9252b8e931b669c45f32142 [diff] [blame] |
Patch #1468808: don't complain if Tkinter is already deleted at the time Font.__del__ is run.
diff --git a/Lib/lib-tk/tkFont.py b/Lib/lib-tk/tkFont.py index 5b5a6ba..15dea2e 100644 --- a/Lib/lib-tk/tkFont.py +++ b/Lib/lib-tk/tkFont.py
@@ -108,7 +108,9 @@ 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):