Est-il possible de changer les polices ou la taille de police de Unity Panel?
Est-il possible de changer la police ou au moins la police taille du texte dans le panneau d'indicateurs de Unity (pour des éléments tels que l'horloge et le moniteur d'indicateurs système) sans modifier la taille de la police d'application à partir des paramètres Apparence> des polices? J'utilise un petit moniteur et j'aimerais un peu plus d'espace pour le menu des applications globales.
Ce n'est pas la meilleure façon car cela implique de changer la taille des toutes applications, mais c'est la seule façon que je connaisse.
- Presse Alt + F2 et tapez
gnome-appearance-properties. - Lancez l'application Préférences d'apparence à partir du résultat de la recherche.
- Accédez à l'onglet Polices .
- Modifiez les paramètres de police de l'application Polices .
MyUnity
Dans la section Polices de MyUnity, vous pouvez définir les polices System, Desktop et Window Title pour le configurer.
MyUnity n'est pas encore disponible pour 12.10, vous pouvez donc essayer gnome-Tweak-tool si vous l'utilisez. gnome-Tweak-tool ne fonctionnera bien sûr que pour changer les polices par défaut du système.