Helpviewer/HelpTabWidget.py

branch
5_2_x
changeset 1669
0df81d254c64
parent 1650
ee57b7f8fa10
child 2303
0ed4ed026c16
equal deleted inserted replaced
1668:215353ac1a0c 1669:0df81d254c64
354 urlbar = self.__stackedUrlBar.widget(index) 354 urlbar = self.__stackedUrlBar.widget(index)
355 self.__stackedUrlBar.removeWidget(urlbar) 355 self.__stackedUrlBar.removeWidget(urlbar)
356 del urlbar 356 del urlbar
357 357
358 browser = self.widget(index) 358 browser = self.widget(index)
359 if browser is None:
360 return
359 browser.home() 361 browser.home()
360 self.removeTab(index) 362 self.removeTab(index)
361 self.browserClosed.emit(browser) 363 self.browserClosed.emit(browser)
362 del browser 364 del browser
363 365
616 Private method to handle the loadFinished signal. 618 Private method to handle the loadFinished signal.
617 619
618 @param ok flag indicating the result (boolean) 620 @param ok flag indicating the result (boolean)
619 """ 621 """
620 browser = self.sender() 622 browser = self.sender()
623 if not isinstance(browser, HelpBrowser):
624 return
621 625
622 if browser is not None: 626 if browser is not None:
623 index = self.indexOf(browser) 627 index = self.indexOf(browser)
624 self.resetAnimation(index) 628 self.resetAnimation(index)
625 self.setTabIcon(index, browser.icon()) 629 self.setTabIcon(index, browser.icon())

eric ide

mercurial