697 return |
697 return |
698 |
698 |
699 if browser is not None: |
699 if browser is not None: |
700 index = self.indexOf(browser) |
700 index = self.indexOf(browser) |
701 self.resetAnimation(index) |
701 self.resetAnimation(index) |
702 self.setTabIcon(index, browser.icon()) |
702 self.setTabIcon(index, Helpviewer.HelpWindow.HelpWindow.icon(browser.url())) |
703 if ok: |
703 if ok: |
704 self.showMessage.emit(self.trUtf8("Finished loading")) |
704 self.showMessage.emit(self.trUtf8("Finished loading")) |
705 else: |
705 else: |
706 self.showMessage.emit(self.trUtf8("Failed to load")) |
706 self.showMessage.emit(self.trUtf8("Failed to load")) |
707 |
707 |
712 Private slot to handle the icon change. |
712 Private slot to handle the icon change. |
713 """ |
713 """ |
714 browser = self.sender() |
714 browser = self.sender() |
715 |
715 |
716 if browser is not None: |
716 if browser is not None: |
717 self.setTabIcon(self.indexOf(browser), browser.icon()) |
717 self.setTabIcon(self.indexOf(browser), |
|
718 Helpviewer.HelpWindow.HelpWindow.icon(browser.url())) |
718 Helpviewer.HelpWindow.HelpWindow.bookmarksManager().iconChanged(browser.url()) |
719 Helpviewer.HelpWindow.HelpWindow.bookmarksManager().iconChanged(browser.url()) |
719 |
720 |
720 def getSourceFileList(self): |
721 def getSourceFileList(self): |
721 """ |
722 """ |
722 Public method to get a list of all opened source files. |
723 Public method to get a list of all opened source files. |