User Manual

DDK-7 取扱説明書
233




󰹴

󰺞











12

1
プロキシサーバー /プロキシポート/プロキシを使わないサーバー
プロキシサーバーの名前、ポート番号、プロキシを使用しないサーバー名を設定します。
プロキシを使用する場合のみ、ここでの設定が必要です。
2
クッキーの削除
[削除する]ボタンを押すと、保存されているクッキーの設定がすべて削除されます。
3
ブックマークの全削除
[削除する]ボタンを押すと、登録されているブックマークがすべて削除されます。
4
環境設定の初期化
環境設定画面で行なったすべての設定項目を、工場出荷時の状態に戻します。234ページ
「インターネット設定の初期化」をご覧ください。
5
接続情報
[接続情報]ボタンを押すと、現在の接続情報の詳細が確認できます。
2
3
4
5
1
NOTE
プロキシを使わないサーバーを
複数設定する場合は、コンマ( , )
で区切って入力してください。