616 browser = self.sender() |
616 browser = self.sender() |
617 |
617 |
618 if browser is not None: |
618 if browser is not None: |
619 index = self.indexOf(browser) |
619 index = self.indexOf(browser) |
620 anim = self.animationLabel( |
620 anim = self.animationLabel( |
621 index, os.path.join(getConfig("ericPixDir"), "loading.gif")) |
621 index, os.path.join(getConfig("ericPixDir"), "loading.gif"), 100) |
622 if not anim: |
622 if not anim: |
623 loading = QIcon(os.path.join(getConfig("ericPixDir"), "loading.gif")) |
623 loading = QIcon(os.path.join(getConfig("ericPixDir"), "loading.gif")) |
624 self.setTabIcon(index, loading) |
624 self.setTabIcon(index, loading) |
625 else: |
625 else: |
626 self.setTabIcon(index, QIcon()) |
626 self.setTabIcon(index, QIcon()) |