#!/usr/bin/env seed
Gtk = imports.gi.Gtk;
+Gdk = imports.gi.Gdk;
WebKit = imports.gi.WebKit;
+Gdk.threads_init ()
+
Gtk.init(Seed.argv);
case '-f':
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;
}
}
window.add()
window.show_all();
-
+Gdk.threads_enter ()
+
Gtk.main();
+
+Gdk.threads_leave ()