Choosing/setting default player

[BennyJZ]

I tried changing to the player to vlc, I don't remember if its something I did in the beginning for it to default to mpv.

But a flag for this would be cool.

[DemonKingSwarn]

vlc for linux and windows is planned, currently it only supports vlc on android.