DamianHr / media-keys

Media keys extension for gnome-shell

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