Python ask_reloadの例

コード例 #1

ファイル: 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

ファイル: 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()