+ if (!maybe_pdf) return FALSE;
+ // essentially same as on_fileNewBackground from here on
+ ui.saved = TRUE;
+ close_journal();
+ while (bgpdf.status != STATUS_NOT_INIT) gtk_main_iteration();
+ new_journal();
+ ui.zoom = DEFAULT_ZOOM;
+ gnome_canvas_set_pixels_per_unit(canvas, ui.zoom);
+ update_page_stuff();
+ return init_bgpdf(filename, TRUE, DOMAIN_ABSOLUTE);