Twitter iPhone pliant OnePlus 11 PS5 Disney+ Orange Livebox Windows 11

Google-earth petites polices

1 réponse
Avatar
jmarco
PIII 1Ghz
1Go de sdram pc133
Debian etch
linux 2.6.18-6-686


Bonjour a tous ,
je viens d'installer Google earth, tout s"est bien deroule,
juste un souci de polices dans la fenetre de gauche et sur la barre
d'outils: elle sont trop petites... :-(

Que puis-je faire?

merci,
bon dimanche,
Jmarc Dufour

--
Lisez la FAQ de la liste avant de poser une question :
http://wiki.debian.org/DebFrFrenchLists
Vous pouvez aussi ajouter le mot ``spam'' dans vos champs "From" et
"Reply-To:"

To UNSUBSCRIBE, email to debian-user-french-REQUEST@lists.debian.org
with a subject of "unsubscribe". Trouble? Contact listmaster@lists.debian.org

1 réponse

Avatar
jmarco
jmarco a écrit :
PIII 1Ghz
1Go de sdram pc133
Debian etch
linux 2.6.18-6-686


Bonjour a tous ,
je viens d'installer Google earth, tout s"est bien deroule,
juste un souci de polices dans la fenetre de gauche et sur la barre
d'outils: elle sont trop petites... :-(

Que puis-je faire?

merci,
bon dimanche,
Jmarc Dufour




Bien,
j'ai trouve le fichier pour regler la taille des polices de l'interface ici:

/home/jmarc/.config/Google/GoogleEarthPlus.conf

dans la section [Render]
modifier cette ligne:
GuiFontSize (qui, initialement est a 8)

Bonne journee,
Jmarc

--
Lisez la FAQ de la liste avant de poser une question :
http://wiki.debian.org/DebFrFrenchLists
Vous pouvez aussi ajouter le mot ``spam'' dans vos champs "From" et
"Reply-To:"

To UNSUBSCRIBE, email to
with a subject of "unsubscribe". Trouble? Contact