Here I can choose default programs, however vlc does not appear in the drop-down menu for videos. I do have vlc installed. I can choose to play videos with it when I right-click video files. But I’d like vlc to be the default so that I can just double click the video file and vlc plays it.
It is a little bit confusing as totem is set as the default video player in the above-mentioned window, but when I double click a video file banshee starts…
If 'gnome-default-applications-properties' is not a typo you can use command-not-found to lookup the package that contains it, like this:
There is no browse option in that window I mentioned. I just rechecked it…