WebBrowser/WebBrowserView.py

changeset 6402
bdc273bb66c5
parent 6269
51a0f31bb240
child 6410
98a5d0cd72f5
equal deleted inserted replaced
6401:f3b56f94a463 6402:bdc273bb66c5
542 542
543 if not hitTest.isContentEditable() and not hitTest.isContentSelected(): 543 if not hitTest.isContentEditable() and not hitTest.isContentSelected():
544 self.__menu.addSeparator() 544 self.__menu.addSeparator()
545 self.__menu.addAction(self.__mw.adBlockIcon().menuAction()) 545 self.__menu.addAction(self.__mw.adBlockIcon().menuAction())
546 546
547 if Preferences.getWebBrowser("WebInspectorEnabled"): 547 if qVersionTuple() >= (5, 11, 0) or \
548 Preferences.getWebBrowser("WebInspectorEnabled"):
548 self.__menu.addSeparator() 549 self.__menu.addSeparator()
549 self.__menu.addAction( 550 self.__menu.addAction(
550 UI.PixmapCache.getIcon("webInspector.png"), 551 UI.PixmapCache.getIcon("webInspector.png"),
551 self.tr("Inspect Element..."), self.__webInspector) 552 self.tr("Inspect Element..."), self.__webInspector)
552 553

eric ide

mercurial