web-dev-qa-db-fra.com

Comment puis-je changer la taille de la police Dash?

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: enter image description here

Police de bureau: first screen

second screen

5

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.

A. Rapport de bogue existant

  • 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:

    enter image description here

  • 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.

B. Modification des polices ou du facteur d’échelle dans gnome-Tweak-tool

  • Cela ne marche pas non plus:

    enter image description here

  • 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!):

    enter image description here

C. Édition de dash-widgets.json dans le dossier Unity Theme

  • Vous 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)

D. Changer la taille de l’icône du lanceur ne l’affecte pas

  • É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.

    • Il est facile de changer la taille de l'icône depuis le plug-in Unity du gestionnaire de paramètres CompizConfig (ccsm) ou depuis son interface MyUnity :

    enter image description hereenter image description here

    • Mais réduire au minimum, 32, ne change pas la taille de la police avec le tiret!

    enter image description here

6
ish

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: ((

3
Rahul Virpara

Essayez de modifier les paramètres dans /usr/share/unity/5/dash-widgets.json.

0
Samik

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.

0
Sidharth