2746 GtkWidget *table_options;
2747 GtkWidget *align_options_center;
2749 dialog_dumper_options = gtk_dialog_new_with_buttons(
_(
"Export Options"), GTK_WINDOW(
window_main), GTK_DIALOG_DESTROY_WITH_PARENT, GTK_STOCK_OK, GTK_RESPONSE_OK, NULL);
2755 table_options = gtk_table_new(3, 3,
TRUE);
2756 gtk_container_set_border_width (GTK_CONTAINER (table_options), 12);
2757 gtk_table_set_row_spacings(GTK_TABLE(table_options), 5);
2758 gtk_table_set_col_spacings(GTK_TABLE(table_options), 10);
2762 align_options_center = gtk_alignment_new( 0.5, 0.5, 0.0, 1.0 );
2763 gtk_table_attach_defaults(GTK_TABLE(table_options), align_options_center, 0, 1, 0, 1 );
2768 align_options_center = gtk_alignment_new( 0.5, 0.5, 0.0, 1.0 );
2769 gtk_table_attach_defaults(GTK_TABLE(table_options), align_options_center, 0, 1, 1, 2 );
2774 align_options_center = gtk_alignment_new( 0.5, 0.5, 0.0, 1.0 );
2775 gtk_table_attach_defaults(GTK_TABLE(table_options), align_options_center, 0, 1, 2, 3 );
static GtkWidget * window_main
static void pgui_create_options_dialog_add_label(GtkWidget *table, const char *str, gfloat alignment, int row)
static void pgui_action_dumper_options_close(GtkWidget *widget, gint response, gpointer data)
static gint pgui_event_popup_delete(GtkWidget *widget, GdkEvent *event, gpointer data)
static GtkWidget * checkbutton_dumper_options_keep_fieldname_case
static GtkWidget * checkbutton_dumper_options_unescapedattrs
static GtkWidget * dialog_dumper_options
static GtkWidget * checkbutton_dumper_options_includegid