Allow mini-player to be undocked (fixes #222)