WebBrowser/WebBrowserView.py

changeset 6269
51a0f31bb240
parent 6221
35ec993034e1
child 6273
0daf79d65080
child 6402
bdc273bb66c5
equal deleted inserted replaced
6268:eb6e49388114 6269:51a0f31bb240
134 self.__restoreData = None 134 self.__restoreData = None
135 135
136 if qVersionTuple() >= (5, 8, 0): 136 if qVersionTuple() >= (5, 8, 0):
137 if self.parentWidget() is not None: 137 if self.parentWidget() is not None:
138 self.parentWidget().installEventFilter(self) 138 self.parentWidget().installEventFilter(self)
139 139
140 if qVersionTuple() >= (5, 8, 0) and qVersionTuple() < (5, 11, 0):
140 lay = self.layout() 141 lay = self.layout()
141 lay.currentChanged.connect( 142 lay.currentChanged.connect(
142 lambda: QTimer.singleShot(0, self.__setRwhvqt)) 143 lambda: QTimer.singleShot(0, self.__setRwhvqt))
143 self.__setRwhvqt() 144 self.__setRwhvqt()
144 145
1497 @param evt reference to event to be processed 1498 @param evt reference to event to be processed
1498 @type QEvent 1499 @type QEvent
1499 @return flag indicating that the event should be filtered out 1500 @return flag indicating that the event should be filtered out
1500 @rtype bool 1501 @rtype bool
1501 """ 1502 """
1503 if obj is self and evt.type() == QEvent.ParentChange and \
1504 self.parentWidget() is not None:
1505 self.parentWidget().installEventFilter(self)
1506
1502 # find the render widget receiving events for the web page 1507 # find the render widget receiving events for the web page
1503 if qVersionTuple() < (5, 8, 0): 1508 if qVersionTuple() < (5, 8, 0):
1504 if obj is self and evt.type() == QEvent.ChildAdded: 1509 if obj is self and evt.type() == QEvent.ChildAdded:
1505 child = evt.child() 1510 child = evt.child()
1506 if child and child.inherits( 1511 if child and child.inherits(
1508 "RenderWidgetHostViewQtDelegateWidget"): 1513 "RenderWidgetHostViewQtDelegateWidget"):
1509 self.__rwhvqt = child 1514 self.__rwhvqt = child
1510 self.grabGesture(Qt.PinchGesture) 1515 self.grabGesture(Qt.PinchGesture)
1511 self.__rwhvqt.grabGesture(Qt.PinchGesture) 1516 self.__rwhvqt.grabGesture(Qt.PinchGesture)
1512 self.__rwhvqt.installEventFilter(self) 1517 self.__rwhvqt.installEventFilter(self)
1513 else: 1518 elif qVersionTuple() >= (5, 11, 0):
1514 if obj is self and evt.type() == QEvent.ParentChange and \ 1519 if obj is self and evt.type() == QEvent.ChildAdded:
1515 self.parentWidget() is not None: 1520 QTimer.singleShot(0, self.__setRwhvqt)
1516 self.parentWidget().installEventFilter(self)
1517 1521
1518 # forward events to WebBrowserView 1522 # forward events to WebBrowserView
1519 if obj is self.__rwhvqt and \ 1523 if obj is self.__rwhvqt and \
1520 evt.type() in [QEvent.KeyPress, QEvent.KeyRelease, 1524 evt.type() in [QEvent.KeyPress, QEvent.KeyRelease,
1521 QEvent.MouseButtonPress, QEvent.MouseButtonRelease, 1525 QEvent.MouseButtonPress, QEvent.MouseButtonRelease,

eric ide

mercurial