Re: [fr-users] taille police du menu

Bonjour,

Le 28/05/2018 à 11:14, demande_aide_fr@libreoffice.org a écrit :
> [...]
> Sujet:: taille police du menu
> OS:: Linux
> Version:: 6.0.x
> Question:: Comment modifier la police des menus?
> Pas de possibilité d'agir sur la police dans Outils>Options>Libreoffice>affichage???
Effectivement. Cette option a été retirée depuis quelques versions déjà, 
considérant que la taille de la police de caractères utilisée pour les 
menus est gérée par le système d'exploitation, plus précisément le 
gestionnaire de fenêtres (Gnome, KDE, Xfce, etc.) et qu'il n'y a pas 
lieu de contrecarrer ce que fait les gestionnaire de fenêtres.

Si vous répondez, merci de penser à utiliser la fonction "répondre à 
tous" de votre logiciel de courrier électronique de façon que la liste 
de discussion reçoive une copie de votre réponse.
ATTENTION : je ne réponds pas aux réponses qui sont envoyées seulement à 
moi. Nous sommes sur une liste d'entraide, pas un service après-vente.

Bonne journée
JBF

--
Seuls des formats ouverts peuvent assurer la pérennité de vos documents.
Disclaimer: my Internet Provider being located in France, each of our
exchanges over Internet will be scanned by French spying services.


--
Envoyez un mail à users+unsubscribe@fr.libreoffice.org pour vous désinscrire
Les archives de la liste sont disponibles à https://listarchives.libreoffice.org/fr/users/
Tous les messages envoyés sur cette liste seront archivés publiquement et ne pourront pas être 
supprimés