ViewManager/ViewManager.py

changeset 6710
b796805c733f
parent 6645
ad476851d7e0
child 6735
31e263d49c04
--- 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