FALSE,
export_filename(GtkFileSelection *selector, GtkWidget* user_data){  FILE* f;  GtkMathView* math_view;  gchar* selected_filename;    selected_filename = gtk_file_selection_get_filename (GTK_FILE_SELECTION(user_data));  math_view = GTK_MATH_VIEW(main_area);  f = fopen(selected_filename, "wt");  gtk_math_view_export_to_postscript(math_view,				     (21 * SCALED_POINTS_PER_CM) / SCALED_POINTS_PER_PX,				     (29 * SCALED_POINTS_PER_CM) / SCALED_POINTS_PER_PX,				     SCALED_POINTS_PER_IN / SCALED_POINTS_PER_PX,				     SCALED_POINTS_PER_IN / SCALED_POINTS_PER_PX,				     f);  fclose(f);}