main.js
[app.webkitpdf] / main.js
1 #!/usr/bin/env seed
2
3 Gtk = imports.gi.Gtk;
4 WebKit = imports.gi.WebKit;
5
6  
7 Gtk.init(Seed.argv);
8
9
10
11 TabbedBrowser = imports.TabbedBrowser; 
12 BrowserSettings = imports.BrowserSettings;
13
14 window = new Gtk.Window({title: "Browser"});
15 window.set_default_size(1280, 768);
16 window.signal.hide.connect(Gtk.main_quit);
17
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);
23
24 /* Add button to window */
25
26 /* create the args */
27 var args = Array.prototype.slice.call(typeof(Seed) != 'undefined' ? Seed.argv : ARGV);
28 args.shift(); //seed
29 args.shift(); // main.js
30
31 for(var i=0; i< args.length; i++){
32     switch(args[i]){
33         case '-u':
34             BrowserSettings.home_page = args[i+1];
35             i++;
36             break;
37         case '-d':
38             BrowserSettings.delay = args[i+1];
39             i++;
40             break;
41         case '-f':
42             BrowserSettings.export_filename = args[i+1];
43             i++;
44             break;
45     }
46 }
47
48 TabbedBrowser.browser = new TabbedBrowser.TabbedBrowser();
49 window.add(TabbedBrowser.browser);
50 window.add()
51 window.show_all();
52
53  
54 Gtk.main();