Maison > Tutoriel système > Linux > Comment changer la taille de la police système dans Ubuntu 17.10 ?

Comment changer la taille de la police système dans Ubuntu 17.10 ?

PHPz
Libérer: 2024-01-07 12:26:29
avant
1201 Les gens l'ont consulté

Vous souhaitez modifier la taille et le style de police dans Ubuntu 17.10 ? Jetons un coup d'œil au didacticiel détaillé ci-dessous.

1. Ouvrez d'abord le terminal (touche de raccourci Ctrl + Alt + T)

2. Terminal : sudo apt install gnome-tweak-tool

3. Après avoir installé l'outil d'optimisation, ouvrez l'outil d'optimisationtweak dans le menu.

4. Après avoir ouvert l'

outil d'optimisation , cliquez sur la police

5. De haut en bas, ce sont le titre de la

fenêtre, l'interface, le document et la largeur égale. Le côté droit est la police et la taille de la police. Vous pouvez cliquer sur Paramètres.

6. Après avoir cliqué, vous pouvez choisir une police que vous aimez et modifier la taille de la police. Si vous devez modifier la proportion de l'ensemble de l'écran

ci-dessous.

Ce qui précède est le contenu détaillé de. pour plus d'informations, suivez d'autres articles connexes sur le site Web de PHP en chinois!

Étiquettes associées:
source:jb51.net
Déclaration de ce site Web
Le contenu de cet article est volontairement contribué par les internautes et les droits d'auteur appartiennent à l'auteur original. Ce site n'assume aucune responsabilité légale correspondante. Si vous trouvez un contenu suspecté de plagiat ou de contrefaçon, veuillez contacter admin@php.cn
Tutoriels populaires
Plus>
Derniers téléchargements
Plus>
effets Web
Code source du site Web
Matériel du site Web
Modèle frontal