"Respond to keyboard media keys" has no effect

[GoogleCodeExporter]

I am using v1.0.7. The four media keys on my keyboard:
XF86AudioPlay
XF86AudioStop
XF86AudioNext
XF86AudioPrev

seem to do nothing, despite the option mentioned in the title being enabled. 
Are they simply unmapped?

Thanks!

Original issue reported on code.google.com by [email protected] on 31 Dec 2013 at 2:29

[GoogleCodeExporter]

This used to work correctly in Gnome 2, but once Gnome 3 came out the keys 
press events are no longer being sent to the application anymore. You need to 
edit the gnome settings and map the keys to send a message to gnome-mplayer.

The commands needed are

dbus-send / com.gnome.mplayer.Play
dbus-send / com.gnome.mplayer.Stop

dbus-send / com.gnome.mplayer.Next
dbus-send / com.gnome.mplayer.Prev

And that should fix the issue.

Original comment by [email protected] on 2 Jan 2014 at 1:45