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