From 5824ee19ef5f23f205b31f7e8a819a6a8447856d Mon Sep 17 00:00:00 2001 From: Richard Taylor Date: Fri, 26 Jan 2007 08:33:49 +0000 Subject: [PATCH] wrap in EventBox so that clipping work properly. svn: r7988 --- ChangeLog | 4 ++++ src/ObjectSelector/_FilterFrameBase.py | 4 +++- 2 files changed, 7 insertions(+), 1 deletion(-) diff --git a/ChangeLog b/ChangeLog index ccb3730aa..3d8c0079d 100644 --- a/ChangeLog +++ b/ChangeLog @@ -1,3 +1,7 @@ +2007-01-26 Richard Taylor + * src/ObjectSelector/_FilterFrameBase.py: wrap in EventBox so + that clipping work properly. + 2007-01-25 Don Allingham * src/DataViews/_MediaView.py: keybindings * src/DataViews/_RepositoryView.py: keybindings diff --git a/src/ObjectSelector/_FilterFrameBase.py b/src/ObjectSelector/_FilterFrameBase.py index 59f836c7a..657575e3b 100644 --- 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):