Helpviewer/HelpTabWidget.py

changeset 4321
28d39909a480
parent 4314
2d9133f4cc10
child 4326
e52318f11812
equal deleted inserted replaced
4320:ccc70fb94c64 4321:28d39909a480
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()\

eric ide

mercurial