--- Tkinter.py.orig 2006-05-24 22:37:42.421875000 -0700 +++ Tkinter.py 2006-05-24 22:43:34.843750000 -0700 @@ -1880,9 +1880,9 @@ def destroy(self): """Destroy this and all descendants widgets.""" for c in self.children.values(): c.destroy() + self.tk.call('destroy', self._w) if self.master.children.has_key(self._name): del self.master.children[self._name] - self.tk.call('destroy', self._w) Misc.destroy(self) def _do(self, name, args=()): # XXX Obsolete -- better use self.tk.call directly!