taille de la police des onglets, favoris et barre d'adresse de chromium

Demande d'aide : c'est ici.
Répondre
Avatar du membre
debianjam
Membre
Membre
Messages : 242
Enregistré le : 27 août 2017, 14:18
Status : Hors ligne

21 mars 2020, 15:26

Bonjour, je cherche comment modifier la dimension de la police des onglets, favoris et barre d'adresse de chromium, ainsi que celle des bandeaux bas et haut du bureau gnome debian 10 merci.
2020/Debian10(buster)64 ; G3.30.2 ; mémoire : 3,7Gio ; i5 3450 @3.10Ghz x4 ; c.g. NV106 (intégrée Intel Ivybridge Desktop) ou asus gt730 2Gio
Avatar du membre
piratebab
Site Admin
Site Admin
Messages : 3096
Enregistré le : 24 avr. 2016, 18:41
Localisation : sud ouest
Status : Hors ligne

23 mars 2020, 16:33

Bonjour, essaie de voir au niveau des réglages de gnome (ou kde), mais ça s'appliquera à toutes les fenetres.
Pour firefox ou chromium, tu peux utiliser des thèmes graphiques.
Pour etre encore plus spécifique à chromium, je ne saura te dire, le theme que j'ai installé me convient.
Avatar du membre
debianjam
Membre
Membre
Messages : 242
Enregistré le : 27 août 2017, 14:18
Status : Hors ligne

23 mars 2020, 17:20

merci +piratebab, je vais essayer le thème, j'ai l'impression aussi qu'il n'y a que comme ça
2020/Debian10(buster)64 ; G3.30.2 ; mémoire : 3,7Gio ; i5 3450 @3.10Ghz x4 ; c.g. NV106 (intégrée Intel Ivybridge Desktop) ou asus gt730 2Gio
Répondre