domains/remove_print_css.js

[app.webkitpdf] / main.js

diff --git a/main.js b/main.js
index a9b766c..81e74c8 100755 (executable)
--- a/main.js
+++ b/main.js
@@ -1,9 +1,12 @@
 #!/usr/bin/env seed
 
 Gtk = imports.gi.Gtk;
+Gdk = imports.gi.Gdk;
 WebKit = imports.gi.WebKit;
 
  
+Gdk.threads_init ()
+
 Gtk.init(Seed.argv);
 
 
@@ -42,6 +45,18 @@ for(var i=0; i< args.length; i++){
             BrowserSettings.export_filename = args[i+1];
             i++;
             break;
+        case '-H':
+            BrowserSettings.export_filename_html = args[i+1];
+            i++;
+            break; 
+        case '-U':
+            BrowserSettings.username = args[i+1];
+            i++;
+            break;
+        case '-P':
+            BrowserSettings.passwd = args[i+1];
+            i++;
+            break;
     }
 }
 
@@ -50,5 +65,8 @@ window.add(TabbedBrowser.browser);
 window.add()
 window.show_all();
 
- 
+Gdk.threads_enter ()
+
 Gtk.main();
+
+Gdk.threads_leave ()