예제 #1
0
파일: editor.py 프로젝트: shaurz/devo
 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()
예제 #2
0
파일: editor.py 프로젝트: shaurz/devo
 def OnModifiedExternally(self):
     if dialogs.ask_reload(self.dialog_parent, os.path.basename(self.path)):
         yield self.Reload()
     else:
         self.SetModified()