This extension has already been made compatible with GNOME 3.4. A version supporting GNOME 3.4 was but never published to extensions.gnome.org. As it has come up in a issue #1, the most recent version should be published via the official channel to make it available to a broader audience.
This extension has already been made compatible with GNOME 3.4. A version supporting GNOME 3.4 was but never published to extensions.gnome.org. As it has come up in a issue #1, the most recent version should be published via the official channel to make it available to a broader audience.