Tools/TRPreviewer.py

changeset 5616
adcffadf4962
parent 5389
9b1c800daff3
child 5651
982465f8389c
equal deleted inserted replaced
5615:2c9c2d67e4d8 5616:adcffadf4962
800 wview.buildWidget() 800 wview.buildWidget()
801 if not wview.isValid(): 801 if not wview.isValid():
802 del wview 802 del wview
803 return 803 return
804 804
805 self.rebuildWidgets.connect(wview.buildWidget) # __IGNORE_WARNING__ 805 self.rebuildWidgets.connect(wview.buildWidget)
806 wview.installEventFilter(self) # __IGNORE_WARNING__ 806 wview.installEventFilter(self)
807 807
808 win = self.addSubWindow(wview) # __IGNORE_WARNING__ 808 win = self.addSubWindow(wview)
809 self.widgets.append(win) 809 self.widgets.append(win)
810 810
811 wview.showNormal() # __IGNORE_WARNING__ 811 wview.showNormal()
812 812
813 def eventFilter(self, obj, ev): 813 def eventFilter(self, obj, ev):
814 """ 814 """
815 Public method called to filter an event. 815 Public method called to filter an event.
816 816

eric ide

mercurial