When I right click an mkv file in file browser and select 'Open With' I see the list:
- Dragon Player
- VLC Media PLayer
When I double click it, it launches the file in Dragon Player. I'd like to change that so that it launches in VLC Media Player as the default double-click action. Where do I set that?
I looked in Settings > Default Applications, but there is nothing there that seems to apply to this situation.