var w = webkitpdf.opt_width > 0 ? webkitpdf.opt_width : 1200;
var h = webkitpdf.opt_height > 0 ? webkitpdf.opt_height : int.min(scroll_height, 6000);
_this.scrolled_window.el.set_size_request( w, h);
+ _this.window.el.set_default_size (w+50, h+50);
print("Resize to %d, %d\n", w,h);
GLib.Timeout.add_seconds(webkitpdf.opt_delay, () => {
this.printpng();