domains/remove_print_css.js
[app.webkitpdf] / BrowserStatusbar.js
1 Gtk = imports.gi.Gtk;
2 WebKit = imports.gi.WebKit;
3
4 BrowserStatusbar = new GType({
5     parent: Gtk.Statusbar.type,
6     name: "BrowserStatusbar",
7     init: function ()
8     {
9         // Private
10         var transient_status_group = this.get_context_id("transient");
11
12         // Public
13         this.set_status = function (status)
14         {
15             this.pop(transient_status_group);
16             //this.push(transient_status_group, status);
17         };
18
19         // Implementation
20     }
21 });