You can set the following preferences:
"network.proxy.http" for HTTP Proxy server name "network.proxy.http_port" for HTTP Proxy server port _______________________________________________ dev-embedding mailing list [email protected] https://lists.mozilla.org/listinfo/dev-embedding
