The extensions are not enabled by default since GNOME 3.2. Don't forget to relaunch GNOME Shell once the extension is installed, then enable it using gnome-tweak-tool.
-- users mailing list users@lists.fedoraproject.org To unsubscribe or change subscription options: https://admin.fedoraproject.org/mailman/listinfo/users Guidelines: http://fedoraproject.org/wiki/Mailing_list_guidelines Have a question? Ask away: http://ask.fedoraproject.org
