EditTextPreference なタグの中に android:inputType な属性を設定できる模様。 Input type for EditText in preference screen? なかなかにすばら。

とりあえず不具合は解決したので commit を纏めました。詳細は以下。

Java Kuche のたいらさんによる以下な tweet 出力をチェック。 http://twitter.com/Tomohiro/status/355485882452684800 ドキュメント作るカンジだとブラウザ一発ですね。これはこれは。

Github Flow の実際、というのは確認してみたいな。 どちらかというと commit の歴史、ではなくて pull request におけるやりとりで記録を残す、という事なのかどうか。やっぱ実際に Github で何かを、という事をしてみないと駄目ですね。