Helpviewer/HelpTabWidget.py

changeset 646
aa422d7436a7
parent 641
b06d4df23797
child 653
0540f3c52b46
equal deleted inserted replaced
644:7c1c3abedf1c 646:aa422d7436a7
16 from E5Gui.E5TabWidget import E5TabWidget 16 from E5Gui.E5TabWidget import E5TabWidget
17 from E5Gui import E5MessageBox 17 from E5Gui import E5MessageBox
18 18
19 from .HelpTabBar import HelpTabBar 19 from .HelpTabBar import HelpTabBar
20 from .HelpBrowserWV import HelpBrowser 20 from .HelpBrowserWV import HelpBrowser
21 import Helpviewer
21 22
22 import UI.PixmapCache 23 import UI.PixmapCache
23 24
24 import Preferences 25 import Preferences
25 26
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

eric ide

mercurial