Linux Mint : Comment modifier les polices par défaut et la taille des polices

Une grande partie de la façon dont nous interagissons avec les ordinateurs se fait par le biais du texte. Pour afficher du texte à l'écran, des polices sont utilisées qui définissent l'apparence des caractères. Différentes polices peuvent être utilisées à des fins différentes. Linux Mint définit cinq utilisations standard pour les polices qui peuvent être configurées indépendamment.

Pour configurer les polices utilisées par Linux Mint, vous devez ouvrir l'outil de sélection de polices. Pour ce faire, appuyez sur la touche Super, puis tapez « Sélection de police » et appuyez sur Entrée.

Astuce : La clé « Super » est le nom que de nombreuses distributions Linux donnent à la clé Windows ou à la clé « Commande » Apple pour éviter tout problème de marque.

La première des cinq polices « police par défaut » est utilisée pour la plupart des textes du système d'exploitation. La « police du bureau » est utilisée exclusivement pour les étiquettes des icônes du bureau. La « police du document » est destinée à être utilisée lors de l'affichage de documents. Cependant, la plupart des visionneuses de documents utilisent leurs propres paramètres de police, ce qui ne leur semble pas très utile. La « police Monospace » modifie la police utilisée par les applications de terminal. La police « Titre de la fenêtre » modifie la police utilisée pour le titre de la fenêtre en haut de chaque fenêtre.

Remarque : les options de police n'affectent que certaines applications. Les applications qui définissent leurs propres polices telles que Libre Office Writer ou Google Chrome ne seront pas affectées.

Chacune des cinq catégories de polices affecte une partie différente du système d'exploitation et des applications qui suivent le thème du système.

En cliquant sur la police actuellement utilisée pour l'une des cinq catégories de polices, vous pouvez sélectionner une nouvelle police ou configurer la taille de la police. Dans la fenêtre « Choisir une police », vous pouvez utiliser la zone de texte supérieure pour rechercher une police par son nom. De plus, la zone de texte inférieure est utilisée pour montrer à quoi ressembleront la police et la taille de police résultantes.

Si vous souhaitez revenir à l'apparence par défaut, les polices par défaut sont respectivement « Ubuntu Regular », « Ubuntu Regular », « Sans Regular », « Monospace Regular » et « Ubuntu Medium ». Toutes les polices par défaut à la taille de police 10.

Dans l'écran « Choisir une police », vous pouvez sélectionner une nouvelle police, modifier la taille de la police et afficher un aperçu.

Paramètres de police

Le « facteur de mise à l'échelle du texte » ajuste la mise à l'échelle de toutes les polices affectées, avec des nombres plus grands mettant à l'échelle les polices. L'« indice » est une technique d'ajustement de la façon dont les caractères sont affichés en les alignant horizontalement et verticalement avec les pixels physiques à l'écran, dans le but de minimiser le flou autour des lignes droites.

« L'anticrénelage » est un processus consistant à essayer de lisser les bords irréguliers, particulièrement visibles sur les lignes diagonales et les courbes en appliquant un subtil effet de flou pour améliorer la qualité de l'image. L'ordre « RVBA » est utilisé pour configurer la façon dont l'effet d'anticrénelage est appliqué.

Conseil : Pour l'anticrénelage, « RVBA » fait référence au type de couleurs appliquées aux bords lisses, en particulier : rouge, vert, bleu et alpha. "Alpha" n'est pas techniquement une couleur, c'est plutôt le terme utilisé pour désigner la transparence. Dans le cadre du processus de lissage, certains pixels voient leur couleur ajustée en ajoutant de la couleur tandis que d'autres sont légèrement plus transparents.

Vous pouvez appliquer un facteur d'échelle global à toutes les polices et configurer quelques paramètres graphiques mineurs qui peuvent améliorer l'apparence des polices.