#!/usr/bin/env seed
Gtk = imports.gi.Gtk;
+Gdk = imports.gi.Gdk;
WebKit = imports.gi.WebKit;
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];