void gui_export_format_options_strip_cb(GtkToggleButton *widget, struct export_settings *settings);
GtkWidget *gui_export_format_options_create_ui(struct export_settings *settings);
void gui_export_format_options_save(struct export_settings *settings);
void gui_export_cb(GtkMenuItem *item, enum kryScriptType type);


struct export_settings
{
  gboolean strip_ssa_commands;
};