プロキシ情報は『オプション』ダイアログで設定することができます。ツールメニューの「オプション」をクリックし、『オプション』ダイアログを開きます。他の入力エリアを利用可能にするためには、『HTTPプロキシ』タブをクリックし、「プロキシサーバを利用する」をチェックします。