Opera Mobileでは、「opera:config」というURLにアクセスすることで、プロキシサーバなどさまざまな隠し設定を変更できる。特定の設定項目にジャンプする「opera:config#Proxy|UseHTTP」のようなURLをスピードダイアルに登録しておけば、素早くプロキシ設定の有無を切り替えたりできて便利だ。
しかし、チェックボックスがやたらと小さく、すぐ隣にある「デフォルト」ボタンと押し間違えやすいという難点がある。確実にチェックの有無をを切り替えるには、いちいちズームインしてからタップしなければならない。
より素早くよく使う設定のON/OFFを切り替えたければ、opera:configのページの見た目を設定するスタイルシートを改造してチェックボックスの当たり判定を広げ、拡大しなくても確実にタップできるようにしてしまおう。

「opera_config_css.zip」をダウンロードし、中の「config.css」をSDカード上の適当なフォルダに解凍しよう。

「opera:config#UserPrefs|ConfigStyleFile」というURLにアクセスし、「選択」ボタンを押す。

このようなファイルリストが表示されたら、端末の戻るボタンで「/」まで戻って、「mnt」→「sdcard」と進み、config.cssを置いたフォルダに進んで、config.cssを選択しよう。

画面を下にスクロールして、「保存」ボタンを押し、設定を保存しよう。

このように、チェックボックスの左右に大きな空間ができる。チェックボックス自体の大きさは変わらないが、当たり判定は空間全体に及ぶので、ズームインしなくても確実にタップを行えるはずだ。

・Opera Mobile
・opera_config_css.zip
・Opera Mobileの隠し設定を編集しプロキシサーバを使用する