Je préférerais que l'ami @michelmorin te réponde lui-même, mais comme sa dernière visite date de plusieurs mois...
Je me permets donc de répondre à sa place, vu que j'avais cherché à régler son problème.
La solution que tu proposes permet en effet de pallier l'absence de bouton de réglage du facteur de mise à l'échelle du texte sur certains environnements de bureau qui n'en sont pas pourvus, comme Zorin Core qui repose sur Gnome, mais elle affecte aussi l'ensemble de l'affichage du menu, du bureau et de la moindre application comme le navigateur sur lequel j'écris ce message.
Ce que voulait notre ami concernait uniquement le menu principal et les mentions du panneau. Intervenir sur le css n'est sans doute pas une solution pérenne, mais elle fonctionne.
Quoiqu'il en soit, merci pour ta réponse et à une prochaine fois, j'espère.
Les petits curieux pourront installer "dconf-editor", l'éditeur graphique de "dconf" en entrant cette ligne dans le terminal (CTRL Alt t) :
Code : Tout sélectionner
sudo apt update && sudo apt install dconf-editor
Pas besoin de droits particuliers en effet : si on se contente de regarder et de faire quelques petits essais comme on vous le fait promettre au lancement, il n'y a aucun risque.
On peut aussi prendre des notes "à l'ancienne" ou faire une sauvegarde préalable :
Code : Tout sélectionner
dconf dump / > sauvegarde-dconf