Changing media player

[Simon Sandlund]

sön 2004-09-19 klockan 00:17 +0200 skrev Sebastien Bacher:
> Le dimanche 19 septembre 2004 à 00:02 +0200, Simon Sandlund a écrit :
> 
> > 
> > Totem is still default, as I said :(
> 
> 
> And if you remove the system defaults in /etc/gnome/defaults.list ?
If I comment out an entry in the global defaults (or make it invalid if
comments (#) aren't supported :D), my local setting steps in. Odd, I
think it should be the other way around.