franziskuskiefer/app-keys-gnome-shell-extension — pull request #11 by mcornella (2014-10-12 00:06:58+00:00)
Title: Add support for GNOME Shell 3.14

Looks like the extension works well too in version 3.14

Tested with gnome-shell 3.14.0-1, in Debian jessie (testing).