wrap in EventBox so that clipping work properly.

svn: r7988
2007-01-26 08:33:49 +00:00
parent af756337b6
commit 5824ee19ef
2 changed files with 7 additions and 1 deletions
--- a/src/ObjectSelector/_FilterFrameBase.py
+++ b/src/ObjectSelector/_FilterFrameBase.py
@@ -51,6 +51,7 @@ class FilterFrameBase(gtk.Frame):
                
        self._filter_spec = filter_spec    

+        box = gtk.EventBox()
 	align = gtk.Alignment()

        # table layout
@@ -92,7 +93,8 @@ class FilterFrameBase(gtk.Frame):
                          self.__class__.__default_border_width)
                          

-	self.add(align)
+        box.add(align)
+	self.add(box)


    def _reset_widgets(self):