eric6/ViewManager/ViewManager.py

changeset 8207
d359172d11be
parent 8150
fc1ae39af8c9
child 8218
7c09585bd960
equal deleted inserted replaced
8206:adf11836cfce 8207:d359172d11be
4397 Public method to check the dirty status of all editors. 4397 Public method to check the dirty status of all editors.
4398 4398
4399 @return flag indicating successful reset of all dirty flags 4399 @return flag indicating successful reset of all dirty flags
4400 @rtype bool 4400 @rtype bool
4401 """ 4401 """
4402 for editor in self.editors: 4402 return all(self.checkDirty(editor) for editor in self.editors)
4403 if not self.checkDirty(editor):
4404 return False
4405
4406 return True
4407 4403
4408 def checkFileDirty(self, fn): 4404 def checkFileDirty(self, fn):
4409 """ 4405 """
4410 Public method to check the dirty status of an editor given its file 4406 Public method to check the dirty status of an editor given its file
4411 name and open a message window. 4407 name and open a message window.

eric ide

mercurial