[webkit-gtk] Proxy API

[Michael Catanzaro]

Hi,

I'd like to add API for overriding the user's proxy server settings.
This was requested by Liferea. Simple seems best:

WEBKIT_API void
webkit_web_context_set_proxy_uri                    (WebKitWebContext              *context,
                                                     const gchar                   *uri);

WEBKIT_API const gchar *
webkit_web_context_get_proxy_uri                    (WebKitWebContext              *context);

With a "proxy-uri" GObject property as well. I posted a patch in
https://bugs.webkit.org/show_bug.cgi?id=128674

It's for 2.16 as it's too late in the cycle for 2.14.

Michael