>>864
切り替えるには AutoInputプラグインを使って，メニューからデータ圧縮モードを選択するしかない．

どのタイミングで切り替えるかだが，
1つは Wi-Fi の接続状態が変わったら Opera Mini を起動して切り替える方法．
ただし，画面オフの状態では AutoInputプラグインは動作しないので，
画面オフの場合は，Secure Settingsプラグインなどを使って，一旦画面をオンさせる必要がある．
それと，別のアプリを起動しているときでも Opera Mini が突然起動することになるので，
それを避けたい場合は，切り替えタイミングをホームランチャーがフォアグラウンドになるまで遅延させればよい．

もう1つは Opera Mini を自分で起動したときに切り替える方法．
この場合は，現在どちらの設定になっているのかをグローバル変数に保存しておき，
Wi-Fi の接続状態と設定状態から，切り替えが必要かどうかを判定し，必要なら切り替えるというTaskを組むことになる．