歯車マークのワークスペースからではうまくいかないようですね。
Workspace#0の右にマウスカーソルを持っていって出てくる三点マーク
クリック-通信設定-読み込みプロキシの変更　からなら変更できるようです。