プロキシの情報は『オプション』ダイアログで設定できます。メニューバーのツールメニューから「オプション」を選択すると『オプション』ダイアログが開きます。「HTTPプロキシ」タブをクリックし、「プロキシサーバを利用する」のチェックボックスをオンにしてください。ほかの入力領域が使用可能となります。