Mercurial Repositories > eric / changeset

--- 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)

--- a/ViewManager/ViewManager.py	Sat Feb 01 18:41:02 2014 +0100
+++ b/ViewManager/ViewManager.py	Sat Feb 08 20:09:58 2014 +0100
@@ -4543,7 +4543,8 @@
         filenames = []
         for editor in self.editors:
             fn = editor.getFileName()
-            if fn is not None and fn not in filenames:
+            if fn is not None and fn not in filenames and os.path.exists(fn):
+                # only return names of existing files
                 filenames.append(fn)
         
         return filenames