+#if GTK3
+ // this is a horrific hack from https://bugs.webkit.org/show_bug.cgi?id=128674
+ Environment.unset_variable("GNOME_DESKTOP_SESSION_ID");
+ Environment.unset_variable("DESKTOP_SESSION");
+ // it should now fallb ack to http prox!?
+
+
+#else
+ unowned string proxy = Environment.get_variable ("http_proxy");
+ if (proxy != null && proxy.length > 0) {
+ var sess = WebKit.get_default_session();
+ sess.proxy_uri = new Soup.URI(proxy);
+ }
+#endif
+ var opt_context = new OptionContext ("webkitpdf");
+