2776{
2777 GtkWidget *table_options;
2778 GtkWidget *align_options_center;
2779
2780 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);
2781
2785
2786 table_options = gtk_table_new(3, 3,
TRUE);
2787 gtk_container_set_border_width (GTK_CONTAINER (table_options), 12);
2788 gtk_table_set_row_spacings(GTK_TABLE(table_options), 5);
2789 gtk_table_set_col_spacings(GTK_TABLE(table_options), 10);
2790
2793 align_options_center = gtk_alignment_new( 0.5, 0.5, 0.0, 1.0 );
2794 gtk_table_attach_defaults(GTK_TABLE(table_options), align_options_center, 0, 1, 0, 1 );
2796
2799 align_options_center = gtk_alignment_new( 0.5, 0.5, 0.0, 1.0 );
2800 gtk_table_attach_defaults(GTK_TABLE(table_options), align_options_center, 0, 1, 1, 2 );
2802
2805 align_options_center = gtk_alignment_new( 0.5, 0.5, 0.0, 1.0 );
2806 gtk_table_attach_defaults(GTK_TABLE(table_options), align_options_center, 0, 1, 2, 3 );
2808
2809
2812
2813
2815}
static gint pgui_event_popup_delete(GtkWidget *widget, GdkEvent *event, gpointer data)
static GtkWidget * dialog_dumper_options
static void pgui_action_dumper_options_close(GtkWidget *widget, gint response, gpointer data)
static GtkWidget * checkbutton_dumper_options_keep_fieldname_case
static void pgui_create_options_dialog_add_label(GtkWidget *table, const char *str, gfloat alignment, int row)
static GtkWidget * window_main
static GtkWidget * checkbutton_dumper_options_unescapedattrs
static GtkWidget * checkbutton_dumper_options_includegid