Contenu | Rechercher | Menus

Annonce

Si vous avez des soucis pour rester connecté, déconnectez-vous puis reconnectez-vous depuis ce lien en cochant la case
Me connecter automatiquement lors de mes prochaines visites.

À propos de l'équipe du forum.

#1 Le 17/04/2011, à 17:45

Compte supprimé

[Google Chrome] Police de la barre de favoris et des onglets

Bonjour tout le monde !

J'ai cherché en vain sur le forum et sur notre ami Google.

Est-il possible de modifier la police (type et surtout taille) de la barre de favoris et des onglets de Google Chrome ?

Merci d'avance

#2 Le 19/04/2011, à 17:55

Compte supprimé

Re : [Google Chrome] Police de la barre de favoris et des onglets

Personne ne sait comment "gérer" cette police ?
J'aimerais pouvoir réduire la taille notamment.

#3 Le 20/04/2011, à 15:39

Yoshiball

Re : [Google Chrome] Police de la barre de favoris et des onglets

Bonjour,

Enfin quelqu'un qui, comme moi, souhaite changer la police de la barre de favoris dans Chrome ou même Chromium.

J'ai toujours eu ce problème de police bcp trop grande pour la barre de favoris et ça m'a toujours énervé, je suis toujours resté sous Firefox smile

J'ai pas mal cherché et je n'ai malheureusement jamais trouvé de réponse à ce comportement sous Ubuntu.

Alors si quelqu'un a une solution, je suis preneur.

PS : D'après mes souvenirs et les quelques sujets dont je me souviens, il me semble qu'il s'agissait d'un bug et il fallait donc attendre un correctif/mise à jour. Comme visiblement Google ne se pressait pas de corriger le problème, je me suis dis que je devais être le seul utilisateur que cela dérangeait roll


VIM un éditeur pour la VIe : http://www.vim.org
Ubuntu, une distribution Linux pour tous : http://www.ubuntu.com
Mon espace perso : http://ngressier.developpez.com

Hors ligne

#4 Le 22/04/2014, à 17:07

diod

Re : [Google Chrome] Police de la barre de favoris et des onglets

salut tous
ben, je cherche toujours
pas de solution?

Hors ligne

#5 Le 18/06/2014, à 20:51

Rysh

Re : [Google Chrome] Police de la barre de favoris et des onglets

Bonjour,

Je recherche aussi une solution à ce problème.
Toujours rien?

Hors ligne

#6 Le 10/03/2015, à 14:38

Gaara

Re : [Google Chrome] Police de la barre de favoris et des onglets

Pareil, depuis la màj vers la version 41.0.2272.76 de ce matin.
Les polices sont devenues énormes sad


Kubuntu 18.04 x64
Un terminal tactile Raspberry Pi et Odroid

                                        <code>zenity  --question --title "Alert"  --text "Microsoft Windows has been found! Would you like to remove it?"</code>

Hors ligne

#7 Le 14/03/2015, à 16:34

Lenouk1

Re : [Google Chrome] Police de la barre de favoris et des onglets

Idem ici. Je pensais hallucinée mais du coup non, ça n'est pas que moi. C'est vraiment pas agréable.

Hors ligne

#8 Le 14/03/2015, à 18:05

Gaara

Re : [Google Chrome] Police de la barre de favoris et des onglets

Non c'est sûr, mais je commence à m'habituer, faute de mieux...


Kubuntu 18.04 x64
Un terminal tactile Raspberry Pi et Odroid

                                        <code>zenity  --question --title "Alert"  --text "Microsoft Windows has been found! Would you like to remove it?"</code>

Hors ligne

#9 Le 14/03/2015, à 23:13

Spirou4D

Re : [Google Chrome] Police de la barre de favoris et des onglets

Ha Je ne suis pas seul a râler sans arrêt après cette police énorme de la dernière mise à jour de Chromium...
C'est une plaie ces gros caractères pour les favoris! J'ai changé les prefs générales des polices pour applications de Gnome mais ca change tout le système en 7 pts pour avoir du 8pt dans chromium.

Rien trouvé pour résoudre!

Hors ligne

#10 Le 09/05/2015, à 10:22

yko

Re : [Google Chrome] Police de la barre de favoris et des onglets

Vérifie dans:

                ~/.config/gtk-3.0/settings.ini

section [Settings] que tu as:

                 gtk-font-name=Sans 10

Chez moi, ça marche (ça doit être accessible via LXAppearance)

Hors ligne

#11 Le 24/05/2015, à 23:53

jajaX

Re : [Google Chrome] Police de la barre de favoris et des onglets

salut,

même soucis depuis quelques jours. d'après mes recherches, c'est l'accélération matérielle qui merdouille.
une fois désactivé c'est bon mais chrome rame...

j'ai résolu le problème en réactivant l'accélération matérielle, en choisissant une police moyenne et un zoom de 75%.


@+
jajaX
Asus X93SM-YZ157V / Asus X93SM-YZ065V sous KDE Neon
ASUS K95VB sous Kubuntu 22.04 Jammy Jellyfish (64 bits) / ACER Aspire 5612 WLMI sous Kubuntu 18.04 Bionic Beaver (32 bits)

Hors ligne

#12 Le 26/08/2016, à 10:26

Gaara

Re : [Google Chrome] Police de la barre de favoris et des onglets

yko a écrit :

Vérifie dans:

                ~/.config/gtk-3.0/settings.ini

section [Settings] que tu as:

                 gtk-font-name=Sans 10

Alors ça marche pour FF et Thunderbird, mais pour chromium il semble que ça ne soit pas possible, c'est codé directement à la source.
J'ai vu ça ici: http://askubuntu.com/questions/23078/is … n-chromium


Kubuntu 18.04 x64
Un terminal tactile Raspberry Pi et Odroid

                                        <code>zenity  --question --title "Alert"  --text "Microsoft Windows has been found! Would you like to remove it?"</code>

Hors ligne

#13 Le 22/10/2016, à 11:20

SpectacularBird

Re : [Google Chrome] Police de la barre de favoris et des onglets

Bonjour,

Désolé de remonter un sujet ancien, mais il se trouve que j'ai ce problème avec la version 16.04 et Chrome dans sa dernière version.
La police des favoris est bien trop grande, si bien que sur mon portable Dell de 12", cela prend bien trop de place.

L'idée serait ainsi d'obtenir une police plus petite, mais si j'ai bien compris les interventions précédentes, cela semble codé à la source.
Il n'y a donc rien à faire ? J'ai pu voir que c'était un bug qui date de plus de 7 ans ! Jamais corrigé ...

Merci pour vos éléments de réponse. smile

Dernière modification par SpectacularBird (Le 22/10/2016, à 11:29)

Hors ligne