--- src/lib/ui.py 2007-01-02 23:06:28.000000000 -0900 +++ src/lib/ui.py 2008-10-03 09:38:39.000000000 -0800 @@ -1257,8 +1257,9 @@ def __init__(self, stock, text = None): gtk.ImageMenuItem.__init__(self, stock) - self.label = self.get_children()[0] - self.image = self.get_children()[1] + children=self.get_children() + if len(children) > 0 : self.label = children[0] + if len(children) > 1 : self.image = children[1] if text is not None: self.set_text(text)