QScintilla/Editor.py

changeset 1373
b3b3c99dba01
parent 1353
e1c0af081a8e
child 1406
e2f1634cceed
equal deleted inserted replaced
1370:cb90f71f11f5 1373:b3b3c99dba01
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.

eric ide

mercurial