NetworkSession.setProxySettings

Set the network proxy settings to be used by connections started in session session.

By default [webkit.types.NetworkProxyMode.Default] is used, which means that the system settings will be used ([gio.proxy_resolver.ProxyResolver.getDefault]). If you want to override the system default settings, you can either use [webkit.types.NetworkProxyMode.NoProxy] to make sure no proxies are used at all, or [webkit.types.NetworkProxyMode.Custom] to provide your own proxy settings. When proxy_mode is [webkit.types.NetworkProxyMode.Custom] proxy_settings must be a valid #WebKitNetworkProxySettings; otherwise, proxy_settings must be null.