Helpviewer/HelpTabWidget.py

changeset 1781
34a44041c4cb
parent 1694
648466a9451b
child 1953
26aa6fd94dc2
--- a/Helpviewer/HelpTabWidget.py	Wed Apr 11 19:11:49 2012 +0200
+++ b/Helpviewer/HelpTabWidget.py	Thu Apr 12 19:06:03 2012 +0200
@@ -699,7 +699,7 @@
         if browser is not None:
             index = self.indexOf(browser)
             self.resetAnimation(index)
-            self.setTabIcon(index, browser.icon())
+            self.setTabIcon(index, Helpviewer.HelpWindow.HelpWindow.icon(browser.url()))
             if ok:
                 self.showMessage.emit(self.trUtf8("Finished loading"))
             else:
@@ -714,7 +714,8 @@
         browser = self.sender()
         
         if browser is not None:
-            self.setTabIcon(self.indexOf(browser), browser.icon())
+            self.setTabIcon(self.indexOf(browser),
+                Helpviewer.HelpWindow.HelpWindow.icon(browser.url()))
             Helpviewer.HelpWindow.HelpWindow.bookmarksManager().iconChanged(browser.url())
     
     def getSourceFileList(self):

eric ide

mercurial