80 self.vcs.isExtensionActive(extensionName)) |
80 self.vcs.isExtensionActive(extensionName)) |
81 if self.__extensionMenus[extensionName][key].isEnabled(): |
81 if self.__extensionMenus[extensionName][key].isEnabled(): |
82 # adjust individual extension menu entries |
82 # adjust individual extension menu entries |
83 self.__extensions[extensionName].showExtensionMenu( |
83 self.__extensions[extensionName].showExtensionMenu( |
84 key, controlled) |
84 key, controlled) |
85 if (not self.__extensionMenus[extensionName][key].isEnabled() |
85 if (not self.__extensionMenus[extensionName][key] |
86 and self.__extensionMenus[extensionName][key] |
86 .isEnabled() and self.__extensionMenus[extensionName][key] |
87 .isTearOffMenuVisible()): |
87 .isTearOffMenuVisible()): |
88 self.__extensionMenus[extensionName][key].hideTearOffMenu() |
88 self.__extensionMenus[extensionName][key].hideTearOffMenu() |
89 |
89 |
90 def showContextMenu(self, menu, standardItems): |
90 def showContextMenu(self, menu, standardItems): |
91 """ |
91 """ |