I am using VLC in Mac Big-sur and want to increase the font size in the Playlist of the player. There is a similar discussion in https://forum.videolan.org/viewtopic.php?f=2&t=150747, but they are only talking for Windows and Linux systems. Can you please suggest any similar method for MacOS. An...