Helpviewer/HelpTabWidget.py

changeset 1781
34a44041c4cb
parent 1694
648466a9451b
child 1953
26aa6fd94dc2
equal deleted inserted replaced
1780:f42757fd021b 1781:34a44041c4cb
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.

eric ide

mercurial