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