WebBrowser/WebBrowserTabWidget.py

branch
QtWebEngine
changeset 4781
15d416f1eca5
parent 4749
750577d35452
child 4782
4ad656e4ebec
--- a/WebBrowser/WebBrowserTabWidget.py	Sat Feb 27 18:19:09 2016 +0100
+++ b/WebBrowser/WebBrowserTabWidget.py	Sat Feb 27 20:51:44 2016 +0100
@@ -65,6 +65,10 @@
         
         self.__mainWindow = parent
         
+        if Preferences.getWebBrowser("WebInspectorEnabled"):
+            os.environ["QTWEBENGINE_REMOTE_DEBUGGING"] = \
+                str(Preferences.getWebBrowser("WebInspectorPort"))
+        
         self.setUsesScrollButtons(True)
         self.setDocumentMode(True)
         self.setElideMode(Qt.ElideNone)
@@ -485,8 +489,7 @@
         
         self.__closedTabsManager.recordBrowser(browser, index)
         
-        # TODO: WebInspector
-##        browser.closeWebInspector()
+        browser.closeWebInspector()
         browser.home()
         self.removeTab(index)
         self.browserClosed.emit(browser)

eric ide

mercurial