Gio.SimpleProxyResolver.prototype.set_default_proxy
function set_default_proxy(default_proxy: String): void { // Gjs wrapper for g_simple_proxy_resolver_set_default_proxy() }
Sets the default proxy on resolver, to be used for any URIs that don't match Gio.SimpleProxyResolver.ignore_hosts or a proxy set via Gio.SimpleProxyResolver.prototype.set_uri_proxy.
If default_proxy starts with "socks://", Gio.SimpleProxyResolver will treat it as referring to all three of the socks5, socks4a, and socks4 proxy types.
Since 2.36
- default_proxy
the default proxy to use