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!