Je viens d'installer et de configurer Ubuntu 12.04 sur ma machine. j'ai changé toutes les tailles de police , avec l'outil myunity, et ils sont désormais tous définis sur taille de police Ubuntu 9 .
Cependant, je ne trouve nulle part dans Ubuntu un moyen de changer HUGE dash recherche/police de l'interface utilisateur . Une idée sur où je peux le changer? Toute option de réglage dconf/gconf?
Voici quelques captures d'écran, comparez la taille des polices Dash aux applications des ordinateurs de bureau.
Police Dash:
Police de bureau:
Malheureusement, la réponse actuelle est la suivante: , vous ne pouvez pas (à moins de comprendre et de modifier le code source).
Dans cette réponse, j’énumère les méthodes qui ne fonctionnent pas pour sauver le temps et la peine des futurs lecteurs-modeurs d’essayer et d’échouer.
Bug # 756845 ( "La recherche par tiret dans l'unité incapable de changer la taille de la police/de l'icône" ) fait référence à ce problème précis, comme indiqué par une partie de la capture d'écran pour le rapport de bug:
Le bogue a été confirmé et étiqueté "faible importance", sans commentaires de la part des développeurs ou de quiconque sur une solution de contournement ou le moment où il sera résolu.
gnome-Tweak-tool
Cela ne marche pas non plus:
Changer le facteur de mise à l'échelle semble tout changer MAIS la taille de la police avec tiret/hud (c'est une capture d'écran 1920x1080 ci-dessous - comparez la taille de la police du terminal!):
dash-widgets.json
dans le dossier Unity ThemeVous pouvez trouver un fichier nommé dash-widgets.json
dans /usr/share/unity/5/
et /usr/share/unity/themes
. Cela contient un tas de paramètres de type CSS qui peuvent vous donner de l'espoir, tels que:
"preview-heading-small": { "taille du titre principal": 23,0,
mais les changer ne fonctionne pas. (la police Dash est approximativement de taille 22)
Étant donné que le champ de texte en tiret est presque exactement à la hauteur de l'icône du lanceur Ubuntu, vous pourriez penser que réduire la taille de l'icône modifierait la hauteur du champ de texte et en réduirait la police.
Un bogue a été signalé comme "La recherche par tiret Unity ne peut pas changer la taille de la police/de l'icône" .
Vous ne pouvez donc pas modifier la taille de la police par défaut dans dash search
. vous devez aller avec elle: ((
Essayez de modifier les paramètres dans /usr/share/unity/5/dash-widgets.json
.
Nah, allez dans MyUnity, cliquez sur l'onglet "Dash" et changez la taille de Dash en Bureau. Je suppose que vous avez 12.04 cependant.