557 browser = self.sender() |
558 browser = self.sender() |
558 |
559 |
559 if browser is not None: |
560 if browser is not None: |
560 self.__mainWindow.iconChanged(browser.icon()) |
561 self.__mainWindow.iconChanged(browser.icon()) |
561 self.setTabIcon(self.indexOf(browser), browser.icon()) |
562 self.setTabIcon(self.indexOf(browser), browser.icon()) |
|
563 Helpviewer.HelpWindow.HelpWindow.bookmarksManager().iconChanged(browser.url()) |
562 |
564 |
563 def getSourceFileList(self): |
565 def getSourceFileList(self): |
564 """ |
566 """ |
565 Public method to get a list of all opened source files. |
567 Public method to get a list of all opened source files. |
566 |
568 |