Ben Coman <b...@openinworld.com> writes: > Rohit, Would you like to have a go at adding this to PharoLauncher? > Currently PharoLauncher filters to show only its own settings. You would > need to find how to add the Proxy Settings to the filter.
the launcher has its proxy settings too now. -- Damien Cassou http://damiencassou.seasidehosting.st "Success is the ability to go from one failure to another without losing enthusiasm." --Winston Churchill