Fri, 08 Feb 2019 19:35:26 +0100
ViewManager: fixed an issue causing problems during shutdown.
(grafted from b796805c733fd0d78883b5085e5bbdc477acf306)
ViewManager/ViewManager.py | file | annotate | diff | comparison | revisions |
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()