174 """documents. Remove anyway?"""), |
174 """documents. Remove anyway?"""), |
175 icon=E5MessageBox.Warning) |
175 icon=E5MessageBox.Warning) |
176 if not res: |
176 if not res: |
177 return |
177 return |
178 self.__unregisteredDocs.append(ns) |
178 self.__unregisteredDocs.append(ns) |
179 for id in openedDocs: |
179 for docId in openedDocs: |
180 if openedDocs[id] == ns and id not in self.__tabsToClose: |
180 if openedDocs[docId] == ns and docId not in self.__tabsToClose: |
181 self.__tabsToClose.append(id) |
181 self.__tabsToClose.append(docId) |
182 itm = self.documentsList.takeItem(self.documentsList.row(item)) |
182 itm = self.documentsList.takeItem(self.documentsList.row(item)) |
183 del itm |
183 del itm |
184 |
184 |
185 self.__engine.unregisterDocumentation(ns) |
185 self.__engine.unregisterDocumentation(ns) |
186 |
186 |