var p = new Gtk.PrintOperation({ export_filename : '/home/chris/test_pdf/test2.pdf' });
var s = new Gtk.PrintSettings();
-// s.set_scale(0.5);
+ s.set_scale(1);
p.set_default_page_setup(psetup);
+
p.set_print_settings(s);
mf.print_full(p, Gtk.PrintOperationAction.PREVIEW)
//Seed.quit();