Tools/TRPreviewer.py

changeset 527
8f7dc3c486e2
parent 526
f51eb1f0ab40
child 539
87f9bce38a44
equal deleted inserted replaced
526:f51eb1f0ab40 527:8f7dc3c486e2
766 766
767 @param object object, that generated the event (QObject) 767 @param object object, that generated the event (QObject)
768 @param event the event, that was generated by object (QEvent) 768 @param event the event, that was generated by object (QEvent)
769 @return flag indicating if event was filtered out 769 @return flag indicating if event was filtered out
770 """ 770 """
771 if not isinstance(obj, QWidget): 771 if obj in self.widgets and ev.type() == QEvent.Close:
772 return False
773
774 if not obj in self.widgets:
775 return False
776
777 if ev.type() == QEvent.Close:
778 try: 772 try:
779 self.widgets.remove(obj) 773 self.widgets.remove(obj)
780 if len(self.widgets) == 0: 774 if len(self.widgets) == 0:
781 self.lastWidgetClosed.emit() 775 self.lastWidgetClosed.emit()
782 except ValueError: 776 except ValueError:
783 pass 777 pass
784 778
785 return False 779 return QMdiArea.eventFilter(self, obj, ev)
786 780
787 def __findWidget(self, uiFileName): 781 def __findWidget(self, uiFileName):
788 """ 782 """
789 Private method to find a specific widget view. 783 Private method to find a specific widget view.
790 784

eric ide

mercurial