WebBrowser/WebBrowserView.py

branch
QtWebEngine
changeset 4910
e97af1181efd
parent 4908
f1859c36d564
child 4913
e16573640cb8
equal deleted inserted replaced
4909:a7bede0eb067 4910:e97af1181efd
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()

eric ide

mercurial