Using the "Docked Playlist" option, I find it incredibly frustrating that VLC player seems to remember different window sizes independent from each other; one for the media playback, one for the playlist. So whenever I click the "Toggle Playlist" button in the toolbar at the bott...