Gnome 3.12 compatible

Hello,
I have tested your extension on gnome 3.12 on ArchLinux and it is running well.