il faut installer cette extenssion :
https://extensions.gnome.org/extension/19/user-themes/il faut autoriser le site à comuniquer avec gnome shell via votre web browser et vous verrez apparaitre un bouton on off à côté de l'extenssion sur le site,passez le sur on et voila la fonctionnalité et maintenant dispo dans gnome tweak tool.
bon j'adore gnome3 et son shell mais je n'arriverai jamais comprendre ce systeme d'extensions via le site. Cette démarche est tellement à l'opposé du coté simple et instinctif de gnome-shell. Ça n'à vraiment aucun sens. Sérieux ça me rappelle le temps où j'étais sous win2000 à courir sur 01net quand j'avais besoin d'un truc.
Dernière modification par bundy (20-05-2013 20:42:23)