<p>The extensions are not enabled by default since GNOME 3.2. Don&#39;t forget to relaunch GNOME Shell once the extension is installed, then enable it using gnome-tweak-tool.</p>