1635 Private slot showing the extensions menu. |
1635 Private slot showing the extensions menu. |
1636 """ |
1636 """ |
1637 for extensionName in self.extensionMenus: |
1637 for extensionName in self.extensionMenus: |
1638 self.extensionMenus[extensionName].setEnabled( |
1638 self.extensionMenus[extensionName].setEnabled( |
1639 self.vcs.isExtensionActive(extensionName)) |
1639 self.vcs.isExtensionActive(extensionName)) |
1640 if not self.extensionMenus[extensionName].isEnabled() and \ |
1640 if ( |
1641 self.extensionMenus[extensionName].menu()\ |
1641 not self.extensionMenus[extensionName].isEnabled() and |
1642 .isTearOffMenuVisible(): |
1642 self.extensionMenus[extensionName].menu() |
|
1643 .isTearOffMenuVisible() |
|
1644 ): |
1643 self.extensionMenus[extensionName].menu().hideTearOffMenu() |
1645 self.extensionMenus[extensionName].menu().hideTearOffMenu() |
1644 if self.vcs.version < (4, 8, 0): |
1646 if self.vcs.version < (4, 8, 0): |
1645 self.extensionMenus["closehead"].setEnabled(False) |
1647 self.extensionMenus["closehead"].setEnabled(False) |
1646 |
1648 |
1647 def __hgExtendedDiff(self): |
1649 def __hgExtendedDiff(self): |