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, |