Those preferences didn't help me, but thanks for your help anyway.
I found a workaround for now, by doing what the guy in post #7 of this thread did (viewtopic.php?f=14&t=81693), and then use the undocked playlist window and tray icon to control VLC.