#2149, #2150: fixes for the clipboard palette.

2007-07-14 13:11:59 +02:00
parent 96a2de4e74
commit 614d9336cc
3 changed files with 34 additions and 29 deletions
@@ -327,7 +327,7 @@ class _ContentMenuItem(gtk.MenuItem):
        self.add(widget)

    def is_empty(self):
-        return self.child is None
+        return self.child is None or not self.child.props.visible

 class _ButtonBarMenuItem(gtk.MenuItem):
    def __init__(self):