先の記事でOpera MobileがEMnetで使えない話を書いたのだが、コメントをもらって気づかされた。 「opera:config」というPreferences Editorという機能があり、細かな設定変更がここで出来るようだ。
現に「Proxy」という枠もあり、「FTP server」「HTTP server」「HTTPS server」に「ホスト名:ポート番号」を記入するようになっている。 EMnetでは「wm.internal.emnet.ne.jp:8080」なのだが、厄介なことにここでは貼り付け(ペースト)操作が出来ないようになっている。 キーボードやソフトウェアキーボードから間違えないようにじっくり入力する必要がある。
3箇所に記入したら、一旦Opera Mobileを終了させて、もう一度Opera Mobileを立ち上げると反映されるようだ。
この方法は、ネットワーク回線が変わってプロキシーサーバーが変わってしまうたびに設定し直しになるわけで、簡単に切り替えられるような機能が欲しいところだ。