Hi Jon > It seems to have changed name to "Gnome Theme Tweak". I installed it and > now I have "Gnome Shell Integration" plugin installed. I did have to activate it > to get it working, but didn't need restart Firefox. I installed "Gnome Theme Tweak" and was then able to install the Taskbar extension. Thanks very much for your help. Best regards David -- users mailing list users@xxxxxxxxxxxxxxxxxxxxxxx To unsubscribe or change subscription options: http://lists.fedoraproject.org/admin/lists/users@xxxxxxxxxxxxxxxxxxxxxxx Fedora Code of Conduct: http://fedoraproject.org/code-of-conduct Guidelines: http://fedoraproject.org/wiki/Mailing_list_guidelines Have a question? Ask away: http://ask.fedoraproject.org
