Python ask_reload Beispiele

Beispiel #1

Datei: editor.py Projekt: 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()

Beispiel #2

Datei: editor.py Projekt: shaurz/devo

 def OnModifiedExternally(self):
     if dialogs.ask_reload(self.dialog_parent, os.path.basename(self.path)):
         yield self.Reload()
     else:
         self.SetModified()