[Pharo-project] Issue 3487 in pharo: Add proxy settings to settings

Status: Accepted Owner: guillermopolito New issue 3487 by guillermopolito: Add proxy settings to settings http://code.google.com/p/pharo/issues/detail?id=3487 We have no setting for proxy url, port, user or password. And I'm tired of configurating it by hand.