2 WebKit = imports.gi.WebKit;
4 BrowserStatusbar = new GType({
5 parent: Gtk.Statusbar.type,
6 name: "BrowserStatusbar",
10 var transient_status_group = this.get_context_id("transient");
13 this.set_status = function (status)
15 this.pop(transient_status_group);
16 //this.push(transient_status_group, status);