I've been using VLC and Vox.
I like how VLC lets me widen the playlist as much as I want. But the font is so small.
Vox is also good except the playlist is narrow and has a small font.
What free players are available that look nice, support larger font sizes, and support hotkeys for pause, next track, etc?
It also needs to have its own volume control and the ability to shuffle a playlist of tens of thousands of tracks.
