Helpviewer/HelpTabWidget.py

changeset 4341
1ff0929aab09
parent 4331
711e7c35a49b
child 4631
5c1a96925da4
equal deleted inserted replaced
4339:c2d1da8d2a05 4341:1ff0929aab09
469 urlbar.deleteLater() 469 urlbar.deleteLater()
470 del urlbar 470 del urlbar
471 471
472 self.__closedTabsManager.recordBrowser(browser, index) 472 self.__closedTabsManager.recordBrowser(browser, index)
473 473
474 browser.closeWebInspector()
474 browser.home() 475 browser.home()
475 self.removeTab(index) 476 self.removeTab(index)
476 self.browserClosed.emit(browser) 477 self.browserClosed.emit(browser)
477 browser.deleteLater() 478 browser.deleteLater()
478 del browser 479 del browser

eric ide

mercurial