ViewManager/ViewManager.py

changeset 6891
93f82da09f22
parent 6843
5e1afd1577b9
child 6923
d062df8f1d9f
child 6931
faac36ec9d76
--- a/ViewManager/ViewManager.py	Thu Mar 21 19:26:10 2019 +0100
+++ b/ViewManager/ViewManager.py	Thu Mar 21 19:27:42 2019 +0100
@@ -4645,7 +4645,7 @@
             newWin, editor = self.getEditor(fn, filetype=filetype,
                                             addNext=addNext, indexes=indexes)
         except (IOError, UnicodeDecodeError):
-            return
+            return None
         
         if newWin:
             self._modificationStatusChanged(editor.isModified(), editor)

eric ide

mercurial