works for gnome 3.12

i did some simple test, it works well. 

though i have little knowledge about gnome-shell extension development.

i wish i didn't introduce new bug