- Right-click on video file, choosing a default application ("vlc") has no effect, it keeps with Totem ("Videos")
- System Settings -> Default Applications -> Video. I can choose between Totem (pre-selected), Banshee and VLC media player. Switching between Totem and Banshee has immediate effect, but selecting VLC media player does not change anything (also it keeps selected in that window when re-opening the system settings)
- Replacing totem.desktop with vlc.desktop in /usr/share/applications/defaults.list and ~/.local/share/applications/defaults.list also has absolutely no effect
I am using Linx Mint 17 with the Cinnamon desktop environment version 2.2.16.