Rip my extension, GNOME 3.8 provide same functionality.