QScintilla/Editor.py

changeset 3261
b8fee972444b
parent 3211
bb350913a76a
child 3325
d2d6dda86d32
--- a/QScintilla/Editor.py	Wed Feb 05 19:09:29 2014 +0100
+++ b/QScintilla/Editor.py	Sat Feb 08 20:09:58 2014 +0100
@@ -6165,6 +6165,11 @@
             self.markerDeleteHandle(handle)
         self.breaks = {}
         
+        if not os.path.exists(self.fileName):
+            # close the file, if it was deleted in the background
+            self.close()
+            return
+        
         # reread the file
         try:
             self.readFile(self.fileName)

eric ide

mercurial