It appears that normal behaviour of the play/pause button returns if I log out and log back in again. A full reboot is not required.
Mike.
- Bug#930350: gnome-shell: Play/pause keyboard button stops c... Mike Crowe
- Bug#930350: Reboot not required to fix Mike Crowe
- Bug#930350: Not related to the Media Player Indicator ... Mike Crowe
- Bug#930350: marked as done (gnome-shell: Play/pause ke... Simon McVittie
