5238 if self.spell: |
5238 if self.spell: |
5239 self.spell.stopIncrementalCheck() |
5239 self.spell.stopIncrementalCheck() |
5240 self.project.projectPropertiesChanged.disconnect( |
5240 self.project.projectPropertiesChanged.disconnect( |
5241 self.__projectPropertiesChanged) |
5241 self.__projectPropertiesChanged) |
5242 |
5242 |
|
5243 self.taskViewer.clearFileTasks(self.fileName, True) |
|
5244 |
5243 super().close() |
5245 super().close() |
5244 |
5246 |
5245 def keyPressEvent(self, ev): |
5247 def keyPressEvent(self, ev): |
5246 """ |
5248 """ |
5247 Re-implemented to handle the user input a key at a time. |
5249 Re-implemented to handle the user input a key at a time. |