def response(dialog, resp):
if resp in (gtk.RESPONSE_CANCEL, gtk.RESPONSE_DELETE_EVENT):
self.driver.config.handler.abort_all_downloads()
resolve("cancel")
elif resp == gtk.RESPONSE_OK:
self.driver.config.handler.abort_all_downloads()
if run_button.get_active():
self.download_and_run(run_button)
elif resp == gtk.RESPONSE_HELP:
gui_help.display()
elif resp == SHOW_PREFERENCES:
from zeroinstall.gui import preferences, main
preferences.show_preferences(driver.config, notify_cb=main.recalculate)
def prefs_main():
from zeroinstall.gui import preferences
box = preferences.show_preferences(config)
done = tasks.Blocker('close preferences')
box.connect('destroy', lambda w: done.trigger())
yield done
