4 WebKit = imports.gi.WebKit;
8 TabbedBrowser = imports.TabbedBrowser;
9 BrowserSettings = imports.BrowserSettings;
11 window = new Gtk.Window({title: "Browser"});
12 window.resize(800, 600);
13 window.signal.hide.connect(Gtk.main_quit);
15 var button = new Gtk.Button();
16 button.queue_draw_area(2,2,20,20);
17 button.set_label('Hello world');
18 //button.resize(20, 20);
19 button.signal.clicked.connect(Gtk.main_quit);
21 /* Add button to window */
23 TabbedBrowser.browser = new TabbedBrowser.TabbedBrowser();
24 window.add(TabbedBrowser.browser);