キー配列の入れ替え

ctrlswapmini v0.32というのを試してみる。Bluetoothのキーボードでも使える。しかし、なぜかEscと半角/全角の切り替えがうまくいかず、切り替わったあとの半角/全角を押すと、両方のボタンを押したのと同じことになっている…。

Opera Mobileも9.5が出ていたので、そちらにアップデートしておく。