タクソノミーエディタ ユーザーズガイド
目次 前ページ次ページ

第6章 その他の機能

6.3 プロキシの設定

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

[図:プロキシの設定]


目次 前ページ次ページ

All Rights Reserved, Copyright(C) 富士通株式会社 2004-2006