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