def OnUnloadedExternally(self): if os.path.exists(self.path): if dialogs.ask_reload(self.dialog_parent, os.path.basename(self.path)): yield self.Reload() else: self.SetModified() else: if dialogs.ask_unload(self.dialog_parent, os.path.basename(self.path)): self.env.close_view(self) else: self.SetModified()
def OnModifiedExternally(self): if dialogs.ask_reload(self.dialog_parent, os.path.basename(self.path)): yield self.Reload() else: self.SetModified()