WebBrowser/WebBrowserView.py

changeset 6797
d9e56b0aa7ac
parent 6695
0a51887c13cd
child 6826
c6dda2cbe081
child 6839
4f6234f34dfd
equal deleted inserted replaced
6796:eebd0a5f10f4 6797:d9e56b0aa7ac
1517 if obj is self and evt.type() == QEvent.ParentChange and \ 1517 if obj is self and evt.type() == QEvent.ParentChange and \
1518 self.parentWidget() is not None: 1518 self.parentWidget() is not None:
1519 self.parentWidget().installEventFilter(self) 1519 self.parentWidget().installEventFilter(self)
1520 1520
1521 # find the render widget receiving events for the web page 1521 # find the render widget receiving events for the web page
1522 if qVersionTuple() < (5, 8, 0) or qVersionTuple() >= (5, 12, 0): 1522 if obj is self and evt.type() == QEvent.ChildAdded:
1523 if obj is self and evt.type() == QEvent.ChildAdded: 1523 if qVersionTuple() < (5, 8, 0):
1524 child = evt.child() 1524 child = evt.child()
1525 if child and child.inherits( 1525 if child and child.inherits(
1526 "QtWebEngineCore::" 1526 "QtWebEngineCore::"
1527 "RenderWidgetHostViewQtDelegateWidget"): 1527 "RenderWidgetHostViewQtDelegateWidget"):
1528 self.__rwhvqt = child 1528 self.__rwhvqt = child
1529 self.grabGesture(Qt.PinchGesture) 1529 self.grabGesture(Qt.PinchGesture)
1530 self.__rwhvqt.grabGesture(Qt.PinchGesture) 1530 self.__rwhvqt.grabGesture(Qt.PinchGesture)
1531 self.__rwhvqt.installEventFilter(self) 1531 self.__rwhvqt.installEventFilter(self)
1532 elif qVersionTuple() >= (5, 11, 0): 1532 elif qVersionTuple() >= (5, 11, 0):
1533 if obj is self and evt.type() == QEvent.ChildAdded:
1534 QTimer.singleShot(0, self.__setRwhvqt) 1533 QTimer.singleShot(0, self.__setRwhvqt)
1535 1534
1536 # forward events to WebBrowserView 1535 # forward events to WebBrowserView
1537 if obj is self.__rwhvqt and \ 1536 if obj is self.__rwhvqt and \
1538 evt.type() in [QEvent.KeyPress, QEvent.KeyRelease, 1537 evt.type() in [QEvent.KeyPress, QEvent.KeyRelease,

eric ide

mercurial