Galaxy Note9 (Android10 2019年)を使用していて、 動画ファイル選択時に起動する動画プレイヤーを変更したい と考えましたが、当初思っていたような動作はできなそうなので、それに対する説明と代替案を … 続きを読む Androidのデフォルト動画プレイヤーは変更できない？