QScintilla/Editor.py

branch
5_4_x
changeset 3262
fffe2df45766
parent 3169
7b1b754a60a6
child 3575
f44bcac6e829
--- a/QScintilla/Editor.py	Sat Feb 01 18:41:02 2014 +0100
+++ b/QScintilla/Editor.py	Sat Feb 08 20:09:58 2014 +0100
@@ -6146,6 +6146,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