107 self.trUtf8("Remove Documentation"), |
107 self.trUtf8("Remove Documentation"), |
108 self.trUtf8("""Some documents currently opened reference the """ |
108 self.trUtf8("""Some documents currently opened reference the """ |
109 """documentation you are attempting to remove. """ |
109 """documentation you are attempting to remove. """ |
110 """Removing the documentation will close those """ |
110 """Removing the documentation will close those """ |
111 """documents. Remove anyway?"""), |
111 """documents. Remove anyway?"""), |
112 type_ = E5MessageBox.Warning) |
112 icon = E5MessageBox.Warning) |
113 if not res: |
113 if not res: |
114 return |
114 return |
115 self.__unregisteredDocs.append(ns) |
115 self.__unregisteredDocs.append(ns) |
116 for id in openedDocs: |
116 for id in openedDocs: |
117 if openedDocs[id] == ns and id not in self.__tabsToClose: |
117 if openedDocs[id] == ns and id not in self.__tabsToClose: |