Recently (say within the last two months), some of my media keys have ceased to obey their assigned shortcut.
Take, for example, Play. If I assign AudioPlay as the keyboard binding in the Keyboard->Keyboard Shortcuts menu, nothing happens when I press the key (this at least suggests that the the key is still recognized).
Further, if I assign another shortcut (e.g., Ctrl-Alt-slash), this works as expected, which suggests it is still possible to assign a shortcut to the play function.
This seems to be related to this question over on AskUbuntu, but the accepted solution (mess around with
gsettings) does not apply, as the suspected lack of
XF86 is not true in my case (at least in
It may be worth noting that there is a discrepancy along these lines in my Keyboard Shortcut interface--namely, the media keys that still work (e.g., Mute) list the
XF86 prefix in the shortcut menu, while those that don't work, don't have this prefix in this menu.
I've exhausted all other avenues of exploration that came to mind, including the suggested
cinnamon-desktop-migrate-mediakeys which came along with the 17.1 release (this problem started well after I upgraded to 17.1).
Any other ideas?