[MPlayer-dev-eng] Tiny problem with latest codecs.conf

[David Holm]

Hi,
I noticed that ffdivx/ffodivx is the default divx decoder with latest 
mplayer codecs.conf.
There is just a tiny problem with this, when using avcodec to encode 
mpeg1 for dxr3 while also using it to decode a movie produces 
unwatchable output. It works as long as you switch to fame, but avcodec 
is the default as it generates better output.
There should be a way for mplayer to disable avcodec support if using 
avcodec to encode the output...

//David