678 |
678 |
679 @param title new title (string) |
679 @param title new title (string) |
680 """ |
680 """ |
681 browser = self.sender() |
681 browser = self.sender() |
682 |
682 |
683 if browser is not None: |
683 if browser is not None and isinstance(browser, QWidget): |
684 index = self.indexOf(browser) |
684 index = self.indexOf(browser) |
685 if title == "": |
685 if title == "": |
686 title = browser.url().toString() |
686 title = browser.url().toString() |
687 |
687 |
688 self.setTabText(index, self.__elide(title.replace("&", "&&"))) |
688 self.setTabText(index, self.__elide(title.replace("&", "&&"))) |
785 """ |
785 """ |
786 Private slot to handle the icon change. |
786 Private slot to handle the icon change. |
787 """ |
787 """ |
788 browser = self.sender() |
788 browser = self.sender() |
789 |
789 |
790 if browser is not None: |
790 if browser is not None and isinstance(browser, QWidget): |
791 import Helpviewer.HelpWindow |
791 import Helpviewer.HelpWindow |
792 self.setTabIcon( |
792 self.setTabIcon( |
793 self.indexOf(browser), |
793 self.indexOf(browser), |
794 Helpviewer.HelpWindow.HelpWindow.icon(browser.url())) |
794 Helpviewer.HelpWindow.HelpWindow.icon(browser.url())) |
795 Helpviewer.HelpWindow.HelpWindow.bookmarksManager()\ |
795 Helpviewer.HelpWindow.HelpWindow.bookmarksManager()\ |