diff -r f51eb1f0ab40 -r 8f7dc3c486e2 Tools/TRPreviewer.py
--- a/Tools/TRPreviewer.py Sun Aug 29 20:44:20 2010 +0200
+++ b/Tools/TRPreviewer.py Sun Aug 29 22:28:24 2010 +0200
@@ -768,13 +768,7 @@
@param event the event, that was generated by object (QEvent)
@return flag indicating if event was filtered out
"""
- if not isinstance(obj, QWidget):
- return False
-
- if not obj in self.widgets:
- return False
-
- if ev.type() == QEvent.Close:
+ if obj in self.widgets and ev.type() == QEvent.Close:
try:
self.widgets.remove(obj)
if len(self.widgets) == 0:
@@ -782,7 +776,7 @@
except ValueError:
pass
- return False
+ return QMdiArea.eventFilter(self, obj, ev)
def __findWidget(self, uiFileName):
"""
