5 WebKit = imports.gi.WebKit;
14 TabbedBrowser = imports.TabbedBrowser;
15 BrowserSettings = imports.BrowserSettings;
17 window = new Gtk.Window({title: "Browser"});
18 window.set_default_size(1280, 768);
19 window.signal.hide.connect(Gtk.main_quit);
21 var button = new Gtk.Button();
22 button.queue_draw_area(2,2,20,20);
23 button.set_label('Hello world');
24 //button.resize(20, 20);
25 button.signal.clicked.connect(Gtk.main_quit);
27 /* Add button to window */
30 var args = Array.prototype.slice.call(typeof(Seed) != 'undefined' ? Seed.argv : ARGV);
32 args.shift(); // main.js
34 for(var i=0; i< args.length; i++){
37 BrowserSettings.home_page = args[i+1];
41 BrowserSettings.delay = args[i+1];
45 BrowserSettings.export_filename = args[i+1];
49 BrowserSettings.export_filename_html = args[i+1];
53 BrowserSettings.username = args[i+1];
57 BrowserSettings.passwd = args[i+1];
63 TabbedBrowser.browser = new TabbedBrowser.TabbedBrowser();
64 window.add(TabbedBrowser.browser);