// user defined functions
public void loadTicket (string tid) {
+ int h,w;
+ _this.el.get_size(out w, out h);
+
if (tid == "") {
_this.scrolled_window.el.hide();
+ _this.el.resize(w, 300);
} else {
_this.scrolled_window.el.show();
+ _this.el.resize(w, 800);
}
this.el.load_uri("http://www.google.com");
}