un jour j'ai cherché comment changer la couleur de la barre de titre de la fenêtre active de gnome (parce qu'en bi-écran il est très facile de faire un ctrl-w dans la mauvaise fenêtre et de fermer le mauvais onglet, parfois très embêtant)
je n'ai pas trouvé de thème qui fasse ça selon mes goûts
sachant qu'une bonne partie de l'interface est en css/html/js (?) et étant développeur web, je me suis dit que j'allais tenter le coup
quelques heures de recherche plus tard j'ai renoncé, je n'ai pas réussi à trouver de documentation sur le sujet (ou bien de la documentation qui ne s'appliquait plus à une version récente de gnome)
je continue à faire des control-w dans les mauvaises fenêtres....
[^] # Re: personnalisable (non, là, je plaisante, en revanche) ha bon
Posté par pralines . En réponse à la dépêche GNOME 3.22 Karlsruhe : A Land Far, Far Away. Évalué à 7.
un jour j'ai cherché comment changer la couleur de la barre de titre de la fenêtre active de gnome (parce qu'en bi-écran il est très facile de faire un ctrl-w dans la mauvaise fenêtre et de fermer le mauvais onglet, parfois très embêtant)
je n'ai pas trouvé de thème qui fasse ça selon mes goûts
sachant qu'une bonne partie de l'interface est en css/html/js (?) et étant développeur web, je me suis dit que j'allais tenter le coup
quelques heures de recherche plus tard j'ai renoncé, je n'ai pas réussi à trouver de documentation sur le sujet (ou bien de la documentation qui ne s'appliquait plus à une version récente de gnome)
je continue à faire des control-w dans les mauvaises fenêtres....
Envoyé depuis mon Archlinux