I have a laptop that does not have any media keys, so I used the keyboard shortcut GUI to make:
F8 - play/pause
F9 - track back
F10 - track forward
However, when I plug in my external keyboard, which does have media keys, I still have to use the F8-10 keys instead of the media keys, since I had to re-assign them.
Is there a way of creating multiple shortcut possibilities for the same function? So that F8 will be play/pause, as will the play/pause button on the external keyboard. Additionally, I've got a Logitech VX Revolution with a zoom slider that would be cool to map to the system volume.
I'm currently on Ubuntu 12.10 with Gnome3.