From 94f0fd194c3605cc01b1e0c53dff56edb8a41f00 Mon Sep 17 00:00:00 2001 From: Chris Jones Date: Tue, 2 Mar 2010 21:01:20 +0000 Subject: [PATCH] get_children() is unhelpful in this context for some reason, use get_child() instead --- terminatorlib/window.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/terminatorlib/window.py b/terminatorlib/window.py index 4f4fa62d..f21e0381 100755 --- a/terminatorlib/window.py +++ b/terminatorlib/window.py @@ -283,7 +283,7 @@ class Window(Container, gtk.Window): def hoover(self): """Ensure we still have a reason to exist""" - if len(self.get_children()) == 0: + if not self.get_child(): self.emit('destroy') def closeterm(self, widget):