git.roojs.org Git - app.webkitpdf/blob - main.js

   1 #!/usr/bin/env seed
   2
   3 Gtk = imports.gi.Gtk;
   4 Gdk = imports.gi.Gdk;
   5 WebKit = imports.gi.WebKit;
   6
   7
   8 Gdk.threads_init ()
   9
  10 Gtk.init(Seed.argv);
  11
  12
  13
  14 TabbedBrowser = imports.TabbedBrowser;
  15 BrowserSettings = imports.BrowserSettings;
  16
  17 window = new Gtk.Window({title: "Browser"});
  18 window.set_default_size(1280, 768);
  19 window.signal.hide.connect(Gtk.main_quit);
  20
  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);
  26
  27 /* Add button to window */
  28
  29 /* create the args */
  30 var args = Array.prototype.slice.call(typeof(Seed) != 'undefined' ? Seed.argv : ARGV);
  31 args.shift(); //seed
  32 args.shift(); // main.js
  33
  34 for(var i=0; i< args.length; i++){
  35     switch(args[i]){
  36         case '-u':
  37             BrowserSettings.home_page = args[i+1];
  38             i++;
  39             break;
  40         case '-d':
  41             BrowserSettings.delay = args[i+1];
  42             i++;
  43             break;
  44         case '-f':
  45             BrowserSettings.export_filename = args[i+1];
  46             i++;
  47             break;
  48         case '-H':
  49             BrowserSettings.export_filename_html = args[i+1];
  50             i++;
  51             break;
  52         case '-U':
  53             BrowserSettings.username = args[i+1];
  54             i++;
  55             break;
  56         case '-P':
  57             BrowserSettings.passwd = args[i+1];
  58             i++;
  59             break;
  60     }
  61 }
  62
  63 TabbedBrowser.browser = new TabbedBrowser.TabbedBrowser();
  64 window.add(TabbedBrowser.browser);
  65 window.add()
  66 window.show_all();
  67
  68 Gdk.threads_enter ()
  69
  70 Gtk.main();
  71
  72 Gdk.threads_leave ()