28日にも書いたが、PlayerPro という音楽Playerを使っている。 WX04KでOSを4.1にした状態では、このプレイヤーでAndroid標準ロックスクリーン機能を使う設定だけでロック画面での操作ができた。 だが、この機種WX10Kではその設定ではダメなようだ。 それで、…