Opera Mobileは、メニューの「設定」から設定できる項目はあまり多くないが、アドレスバーに「opera:config」というURLを入力すれば、さまざまな隠し設定を編集できる。設定項目名だけでは効果が分かりづらい項目が多いので、「Opera Wiki」のまとめページなどを参考に設定を行なおう。

Webサーバへのアクセスを中継するプロキシサーバの設定も、この画面からなら行なえる。会社や学校などのLANにありがちな、LAN上のプロキシサーバを経由しないとインターネットにアクセスできない環境でも、OperaによるWebブラウジングが可能だ。

別のネットワークに接続したときに素早くプロキシの設定を切り替えたければ、「opera:config#Proxy|UseHTTP」というURLをブックマークに登録しておこう。opera:config上のプロキシ設定の箇所を素早く開けるぞ。

「Opera’s Configuration File Explained for Mobile」のページで、Opera Mobileの隠し設定の簡単な説明が見られる。

Opera Mobileで項目名のリンクをタップすれば、opera:configの該当項目にジャンプする。プロキシサーバを使用するには、「Proxy」カテゴリの「HTTP server」と「HTTPS server」の欄に、プロキシサーバのIPアドレスとポート番号を「:」で区切って並べたものを指定しよう。

さらに、「Use HTTP」「Use HTTPS」のチェックボックスをONにし、「保存」を押す。

設定を保存すると、このようなメッセージが表示される。どの項目を変更しても「再起動が必要」の表示が出るが、プロキシの設定は再起動しなくても反映されるぞ。

素早くプロキシのON/OFFを切り替えたければ、「opera:config#Proxy|UseHTTP」をブックマークやSpeed Dialに登録しておこう。

登録したブックマークを開くと、プロキシのON/OFFの設定箇所が表示される。チェック状態を切り替えて「保存」を押せば、プロキシのON/OFFを切り替えられるぞ。

・Opera’s Configuration File Explained for Mobile