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.
a #WebKitNetworkProxyMode
a #WebKitNetworkProxySettings, or null
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.