WebBrowser/WebBrowserView.py

changeset 6402
bdc273bb66c5
parent 6269
51a0f31bb240
child 6410
98a5d0cd72f5
--- a/WebBrowser/WebBrowserView.py	Wed Jul 04 19:36:49 2018 +0200
+++ b/WebBrowser/WebBrowserView.py	Wed Jul 04 19:38:44 2018 +0200
@@ -544,7 +544,8 @@
             self.__menu.addSeparator()
             self.__menu.addAction(self.__mw.adBlockIcon().menuAction())
         
-        if Preferences.getWebBrowser("WebInspectorEnabled"):
+        if qVersionTuple() >= (5, 11, 0) or \
+           Preferences.getWebBrowser("WebInspectorEnabled"):
             self.__menu.addSeparator()
             self.__menu.addAction(
                 UI.PixmapCache.getIcon("webInspector.png"),

eric ide

mercurial