Apparently it's not something that affects vlc only, I can't set even mplayer this is seems like gnome-shell can't change the default video player at all.
-- To UNSUBSCRIBE, email to [email protected] with a subject of "unsubscribe". Trouble? Contact [email protected]
