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

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