To configure the proxy, you must go to :
You have then the choice between three providers :
Choose the manual option and edit your parameters accordingly as below.