ViewManager/ViewManager.py

changeset 2109
621ffe935354
parent 2108
22e480e4a47e
child 2110
eff6b085ea89
equal deleted inserted replaced
2108:22e480e4a47e 2109:621ffe935354
5183 res = False 5183 res = False
5184 else: 5184 else:
5185 res = True 5185 res = True
5186 5186
5187 if res: 5187 if res:
5188 e5App().focusChanged.disconnect( 5188 e5App().focusChanged.disconnect(self.appFocusChanged)
5189 self.viewmanager.appFocusChanged)
5190 5189
5191 return res 5190 return res
5192 5191
5193 def __lastEditorClosed(self): 5192 def __lastEditorClosed(self):
5194 """ 5193 """

eric ide

mercurial