WebBrowser/WebBrowserView.py

changeset 6126
6c4509eceea2
parent 6122
e7d98249f393
child 6141
f4cecd941096
--- a/WebBrowser/WebBrowserView.py	Fri Feb 09 18:58:21 2018 +0100
+++ b/WebBrowser/WebBrowserView.py	Fri Feb 09 19:44:25 2018 +0100
@@ -1230,13 +1230,16 @@
         """
         Private slot to show the web inspector window.
         """
-        if self.__inspector is None:
-            from .WebInspector import WebInspector
-            self.__inspector = WebInspector()
-            self.__inspector.setView(self, True)
-            self.__inspector.show()
-        else:
-            self.closeWebInspector()
+        from .WebInspector import WebInspector
+        if WebInspector.isEnabled():
+            if self.__inspector is None:
+                self.__inspector = WebInspector()
+                self.__inspector.setView(self, True)
+                self.__inspector.inspectorClosed.connect(
+                    self.closeWebInspector)
+                self.__inspector.show()
+            else:
+                self.closeWebInspector()
     
     def closeWebInspector(self):
         """

eric ide

mercurial