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()) |