franziskuskiefer/app-keys-gnome-shell-extension — pull request #1 by vanviegen (2012-10-22 09:15:22+00:00)
Title: shell versions

It works at least with gnome shell 3.4. Let's optimistically assume 3.5,
3.7 and 3.8 won't be a problem either.