Salut,
1 : pour info chez moi : cela fonctionne (Fiorefox 43.03)
2 Mais : il semble que j'ai une MAJ de gnome en attente
gnome-classic-session noarch 3.18.3-1.fc23 updates 41 k
gnome-shell-extension-alternate-tab
noarch 3.18.3-1.fc23 updates 22 k
gnome-shell-extension-apps-menu noarch 3.18.3-1.fc23 updates 25 k
gnome-shell-extension-common noarch 3.18.3-1.fc23 updates 140 k
gnome-shell-extension-launch-new-instance
noarch 3.18.3-1.fc23 updates 21 k
gnome-shell-extension-places-menu
noarch 3.18.3-1.fc23 updates 25 k
gnome-shell-extension-user-theme noarch 3.18.3-1.fc23 updates 22 k
gnome-shell-extension-window-list
Je ne me rappelle pas avoir installé d'extension via dnf, uniquement via Firefox (à vérifier)
Si une extension est présente au global , elle apparait grisée sur le site extensions.gnome.org, peut être une piste de ce coté ?