ViewManager/ViewManager.py

branch
maintenance
changeset 6749
f5ce328edcf5
parent 6646
51eefa621de4
child 6826
c6dda2cbe081
equal deleted inserted replaced
6748:f5643095498a 6749:f5ce328edcf5
6560 e5App().focusChanged.disconnect(self.appFocusChanged) 6560 e5App().focusChanged.disconnect(self.appFocusChanged)
6561 except TypeError: 6561 except TypeError:
6562 pass 6562 pass
6563 6563
6564 self.closeAllWindows() 6564 self.closeAllWindows()
6565 self.currentEditor = None
6565 6566
6566 # save the list of recently opened projects 6567 # save the list of recently opened projects
6567 self.__saveRecent() 6568 self.__saveRecent()
6568 6569
6569 # save the list of recently opened projects 6570 # save the list of recently opened projects

eric ide

mercurial