galaxy note(android4.0)で使うbluetoothキーボードを買おう思う
これ再接続のたびにIMEの設定がリセットされるらしいだけれど
android4.0はそもそも基本的にそういうものなの?