Je suppose que c'est la forme !!!]]>
mais arrivé à ce stade je sais pas exactement comment on fait, j'ai réussi à modifier comme voulu la largeur de la barre de titre, mais c'est pas propre du tout, sur certaines fenetres le résultat est mitigé, j'ai pas encore trouvé les réglages adéquat.]]>
situer dans :
/home/nom_utilisateur/.config/gtk-3.0/gtk.css
J'ai réussi à changer des couleurs du thème en créant ce fichier, je suppose qu'on peut faire pareil pour changer les dimensions des Barres de titres et bordures
mais je ne connais pas les codes exact ni si c'est le bon endroit pour écrire par exemple :
#Fenêtres
Bordure droite et gauche = 5 pixels
Bordure Bas = 2 pixels
Barre de titre = 10 pixels]]>
...
Faut pas comparer des pommes avec des poires
Bonjour,
il me semble qu'il soit possible de faire une compote des deux non ? ]]>