2777         GtkWidget *table_options;
 
 2778         GtkWidget *align_options_center;
 
 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);
 
 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);
 
 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 );
 
 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 );
 
 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 );
 
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