Comment #2 on issue 3487 by aplantec: Add proxy settings to settings http://code.google.com/p/pharo/issues/detail?id=3487 but we have also user and password, check 'Use network authentification'. is it ok ? maybe we should group port, server, user name and password all together.

Comment #3 on issue 3487 by marianopeck: Add proxy settings to settings http://code.google.com/p/pharo/issues/detail?id=3487 ufff what an idiot I am. You are right, it is that. My faul. I just searched "proxy" in the search bar, hit enter, and then I only see the option "Use HTTP proxy". But agree, maybe grouping all rogether is better? and if you don't need autho, then you don't set anything. Would be this be clearer? or it will be worst? (because maybe someone things that he needs to fill all fields?) At least we can add the "proxy" word so that for the search it also shows that option :) heheh

Comment #5 on issue 3487 by marianopeck: Add proxy settings to settings http://code.google.com/p/pharo/issues/detail?id=3487 that sounds better :)

Updates: Labels: Milestone-1.2 Comment #7 on issue 3487 by stephane.ducasse: Add proxy settings to settings http://code.google.com/p/pharo/issues/detail?id=3487 ok :)