Salut,
Je ne trouve pas comment changer le thème gnome 3 : j’ai lance gnome-tweak-tools -> Thème et là le shell thème me dit “l’extension du thème utilisateur shell n’est pas activée”. Comment faire ? Dans paramètre avancé, extension du shell, lorsque j’active extension user themes, cela ne change pas la donne…
J’ai mit un thème dans /usr/share/theme mais il n’apparait pas dans la sélection Thème des fenêtres, d’ailleurs ceux que je retrouve dans ce dossier, la plupart ne sont pas disponible dans la sélection.
Aussi j’aimerai rajouter un bouton réduire sur mes fenêtres car clique droit > réduire est ergonomique à la longue. Sinon un raccourcis clavier pourrait peut-être me convenir?
j’ai tenté ce tuto : grawok.wordpress.com/2011/10/22/ … -fenetres/
mais le dossier “shell” n’est pas là … j’ai tenté une recherche sur “shell”, “button”, “layout” etc… un peu tout ce que j’ai vu sur le screen mais le système ne trouve rien. Lancé le gnome editor en sudo n’y change rien non plus.
Je vous remercie 
