Example #1
0
	def savefile(self):
		dialog = gtk.FileChooserDialog(title="Save...", action=gtk.FILE_CHOOSER_ACTION_SAVE,
			buttons=(gtk.STOCK_CANCEL,gtk.RESPONSE_CANCEL,gtk.STOCK_SAVE,gtk.RESPONSE_OK))
		dialog.set_default_response(gtk.RESPONSE_OK)
		hal_filter = gtk.FileFilter()
		hal_filter.set_name("craphal files")
		hal_filter.add_pattern("*.hal")
		dialog.add_filter(hal_filter)
		response = dialog.run()
		if response == gtk.RESPONSE_OK:
			file_save(app.design, dialog.get_filename())
		dialog.destroy()
Example #2
0
 def savefile(self):
     dialog = gtk.FileChooserDialog(
         title="Save...",
         action=gtk.FILE_CHOOSER_ACTION_SAVE,
         buttons=(gtk.STOCK_CANCEL, gtk.RESPONSE_CANCEL, gtk.STOCK_SAVE,
                  gtk.RESPONSE_OK))
     dialog.set_default_response(gtk.RESPONSE_OK)
     hal_filter = gtk.FileFilter()
     hal_filter.set_name("craphal files")
     hal_filter.add_pattern("*.hal")
     dialog.add_filter(hal_filter)
     response = dialog.run()
     if response == gtk.RESPONSE_OK:
         file_save(app.design, dialog.get_filename())
     dialog.destroy()
Example #3
0
def save_file(action):
	if app.design.file_name:
		file_save(app.design, app.design.file_name)
	else:
		app.savefile()
Example #4
0
def save_file(action):
    if app.design.file_name:
        file_save(app.design, app.design.file_name)
    else:
        app.savefile()