QScintilla/Editor.py

changeset 1373
b3b3c99dba01
parent 1353
e1c0af081a8e
child 1406
e2f1634cceed
diff -r cb90f71f11f5 -r b3b3c99dba01 QScintilla/Editor.py
--- a/QScintilla/Editor.py	Mon Oct 17 19:38:59 2011 +0200
+++ b/QScintilla/Editor.py	Wed Oct 19 19:42:58 2011 +0200
@@ -5240,6 +5240,8 @@
             self.project.projectPropertiesChanged.disconnect(
                 self.__projectPropertiesChanged)
         
+        self.taskViewer.clearFileTasks(self.fileName, True)
+        
         super().close()
         
     def keyPressEvent(self, ev):

eric ide

mercurial