先の記事でOpera MobileがEMnetで使えない話を書いたのだが、コメントをもらって気づかされた。 「opera:config」というPreferences Editorという機能があり、細かな設定変更がここで出来るようだ。 現に「Proxy」という枠もあり、「FTP server」「HTTP serv…