ViewManager/ViewManager.py

changeset 6710
b796805c733f
parent 6645
ad476851d7e0
child 6735
31e263d49c04
equal deleted inserted replaced
6709:89db2d786530 6710:b796805c733f
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