>>94
選択画面にその3つともがあって、どれを選んでも下のcodecsが使われてた。

>>95
コンソールからgmplayer使ってみたら両方とも同じでこうなってた。
=========================================================
Trying to force video codec driver family ffmpeg...
Opening video decoder: [ffmpeg] FFmpeg's libavcodec codec family
Selected video codec: [ffodivx] vfm: ffmpeg (FFmpeg MPEG-4)
=========================================================

なぜ変わらないのだろう？