The Google Chrome app has a mini-player, but for some reason the desktop version doesn't. That would be super nice to have, and doesn't seem too hard to implement (it has already been put in the chrome version..)
Updated on 2020-07-30
Thanks for bringing your feedback to the Idea Exchange.
A similar idea has already been suggested here - feel free to add your vote to it!
We’ve made sure to transfer over all the votes gathered here to the original idea.