Helpviewer/HelpTabWidget.py

changeset 4341
1ff0929aab09
parent 4331
711e7c35a49b
child 4631
5c1a96925da4
diff -r c2d1da8d2a05 -r 1ff0929aab09 Helpviewer/HelpTabWidget.py
--- a/Helpviewer/HelpTabWidget.py	Sun Jul 26 19:02:11 2015 +0200
+++ b/Helpviewer/HelpTabWidget.py	Tue Jul 28 19:19:23 2015 +0200
@@ -471,6 +471,7 @@
         
         self.__closedTabsManager.recordBrowser(browser, index)
         
+        browser.closeWebInspector()
         browser.home()
         self.removeTab(index)
         self.browserClosed.emit(browser)

eric ide

mercurial