preferenceにJSONを使えば良い気がしてきた。

配列とか連想配列とかマジで夢中になれる年頃なんですけど(嘘)、これらをWidget.setPreferenceForKeyとか使って処理するのは割と面倒い。単純な配列は拙作PrefArray.jsを使えば良いけど、連想配列とか多次元配列とかはまだ扱えない。
で、改めて考えてみたら、環境設定をJSON表現の文字列として保存してしまえば全て解決するような気がした。
そのうち作ってみよう。