ViewManager/ViewManager.py

branch
maintenance
changeset 6749
f5ce328edcf5
parent 6646
51eefa621de4
child 6826
c6dda2cbe081
diff -r f5643095498a -r f5ce328edcf5 ViewManager/ViewManager.py
--- a/ViewManager/ViewManager.py	Fri Feb 08 19:16:17 2019 +0100
+++ b/ViewManager/ViewManager.py	Fri Feb 08 19:35:26 2019 +0100
@@ -6562,6 +6562,7 @@
             pass
         
         self.closeAllWindows()
+        self.currentEditor = None
         
         # save the list of recently opened projects
         self.__saveRecent()

eric ide

mercurial