Helpviewer/HelpTabWidget.py

changeset 646
aa422d7436a7
parent 641
b06d4df23797
child 653
0540f3c52b46
--- a/Helpviewer/HelpTabWidget.py	Mon Sep 27 08:09:27 2010 +0200
+++ b/Helpviewer/HelpTabWidget.py	Mon Sep 27 10:03:41 2010 +0200
@@ -18,6 +18,7 @@
 
 from .HelpTabBar import HelpTabBar
 from .HelpBrowserWV import HelpBrowser
+import Helpviewer
 
 import UI.PixmapCache
 
@@ -559,6 +560,7 @@
         if browser is not None:
             self.__mainWindow.iconChanged(browser.icon())
             self.setTabIcon(self.indexOf(browser), browser.icon())
+            Helpviewer.HelpWindow.HelpWindow.bookmarksManager().iconChanged(browser.url())
     
     def getSourceFileList(self):
         """

eric ide

mercurial