un plugin de quoi ?
si c'était une extension gnome, ça n'est même pas la peine d'essayer, ça fait longtemps que j'ai laissé tombé toute tentative de personnalisation de gnome (l'officiel), ça casse quasiment à chaque màj...
je sais que maintenant c'est vendredi mais c'est aussi la réalité
le truc c'est de trouver une solution que je maîtriserai et simple à reproduire
si la suggestion de Plume (feuille css) fait l'affaire (on verra ce we), je la conserverai et l'appliquerai
sinon, le jour où j'en aurai vraiment marre, je changerai une bonne fois de gestionnaire de bureau/fenêtre, mais ça sera une autre histoire
[^] # Re: effet visuel ?
Posté par pralines . En réponse au message RÉSOLU - Gnome 3.18. Évalué à 1.
un plugin de quoi ?
si c'était une extension gnome, ça n'est même pas la peine d'essayer, ça fait longtemps que j'ai laissé tombé toute tentative de personnalisation de gnome (l'officiel), ça casse quasiment à chaque màj...
je sais que maintenant c'est vendredi mais c'est aussi la réalité
le truc c'est de trouver une solution que je maîtriserai et simple à reproduire
si la suggestion de Plume (feuille css) fait l'affaire (on verra ce we), je la conserverai et l'appliquerai
sinon, le jour où j'en aurai vraiment marre, je changerai une bonne fois de gestionnaire de bureau/fenêtre, mais ça sera une autre histoire
quoi qu'il en soit, merci pour ta réponse
Envoyé depuis mon Archlinux