782 """ |
782 """ |
783 |
783 |
784 menu.addAction(self.__mw.newTabAct) |
784 menu.addAction(self.__mw.newTabAct) |
785 menu.addAction(self.__mw.newAct) |
785 menu.addAction(self.__mw.newAct) |
786 menu.addSeparator() |
786 menu.addSeparator() |
787 # TODO: Save |
787 # TODO: Qt 5.7: Save |
788 ## menu.addAction(self.__mw.saveAsAct) |
788 ## menu.addAction(self.__mw.saveAsAct) |
789 ## menu.addSeparator() |
789 ## menu.addSeparator() |
790 |
790 |
791 if self.url().toString() == "eric:speeddial": |
791 if self.url().toString() == "eric:speeddial": |
792 # special menu for the spedd dial page |
792 # special menu for the spedd dial page |
1328 child = evt.child() |
1328 child = evt.child() |
1329 if child and child.inherits( |
1329 if child and child.inherits( |
1330 "QtWebEngineCore::RenderWidgetHostViewQtDelegateWidget"): |
1330 "QtWebEngineCore::RenderWidgetHostViewQtDelegateWidget"): |
1331 self.__rwhvqt = child |
1331 self.__rwhvqt = child |
1332 self.grabGesture(Qt.PinchGesture) |
1332 self.grabGesture(Qt.PinchGesture) |
|
1333 self.__rwhvqt.grabGesture(Qt.PinchGesture) |
1333 self.__rwhvqt.installEventFilter(self) |
1334 self.__rwhvqt.installEventFilter(self) |
1334 |
1335 |
1335 # forward events to WebBrowserView |
1336 # forward events to WebBrowserView |
1336 if obj is self.__rwhvqt: |
1337 if obj is self.__rwhvqt: |
1337 wasAccepted = evt.isAccepted() |
1338 wasAccepted = evt.isAccepted() |