Media Keys Gnome-shell extension that adds Media Player buttons to the panel. !!! NEEDS xdotool Changelog v.5 Works with X11 only! Notes Extension emulates buttons: XF86AudioPlay XF86AudioPrev XF86AudioNext