undefined | Better HN

0 pointsantoineMoPa17d ago0 comments

It cannot assume which media player I want to use, so the best course of action is to do nothing.

0 comments

4 comments · 2 top-level

parl_match17d ago· 2 in thread

It's very reasonable that pressing "play" opens the default music player. They should let you choose.

There are multiple different sources that the user might want to start playing. Browser tab A/B/C (example: web radios), a music application or music service website in a tab that's not even opened yet (eg: spotify), the last video tab they opened (ex: youtube).

Whatever is the last thing that was paused should play IMHO. If nothing was paused, it should do nothing. Else, you open a pandora's box of possibly wrong choices that the user then has to close.

parl_match17d ago

> Whatever is the last thing that was paused should play IMHO

That's currently how it works.

This is purely an issue and complaint for when nothing at all was playing or open, and an app hasn't currently registered a handler.

If you land on a fresh desktop from reboot and press play, what should happen?

1 more reply

al_borland17d ago

The best course of action would be to let the user specify their default music app to bind the keys to.

j / k navigate · click thread line to collapse