Comment changer la taille de la police dans le panneau gnome-shell

J'ai essayé gnome-shell dans Ubuntu en utilisant la gnome-shell --replacecommande. Cela fonctionne bien mais je pense que la taille de la police dans le panneau shell est trop grande.

Est-il possible de personnaliser la taille de la police dans le panneau gnome-shell?

Veuillez modifier le en /usr/share/gnome-shell/theme/gnome-shell.cssconséquence. Par exemple, si vous voulez changer la police du panneau, vous pouvez ajouter font-family: "FontName"en .panel-button. Et vous pouvez personnaliser davantage la police du tableau de bord, etc.

Vous pouvez consulter mon article de blog sur la personnalisation de gnome-shell: http://joneslee85.wordpress.com/2010/02/28/howto-customize-gnome-shell-theme/

Trouvé ceci:

cd /usr/share/gnome-shell/theme
sudo gedit gnome-shell.css

J'ai joué avec certains des paramètres dans le fichier gnome-shell.css et à travers quelques essais et erreurs, j'ai réussi à augmenter la taille du texte sous les icônes d'application. Sur la ligne 638, j'ai augmenté la taille de la police de 7,5 points à 11,5 points, ce qui la rendait plus lisible. Code:

.app-well-app > .overview-icon,
.remove-favorite > .overview-icon,
.search-result-content > .overview-icon {
    border-radius: 4px;
    padding: 3px;
    border: 1px rgba(0,0,0,0);
    font-size: 7.5pt;
    color: white;
    transition-duration: 100;
    text-align: center;
}

J'ai également décidé de diminuer la taille des icônes.

.icon-grid .overview-icon {
    icon-size: 96px;
}

Oui c'est possible. J'ai eu le même problème :)

1. Vous devez modifier le fichier /usr/share/gnome-shell/js/ui/panel.js.
2. Trouvez une ligne const DEFAULT_FONTet changez la taille de la police (ou même le nom).
3. Après cela, vous devez redémarrer gnome-shell: appuyez sur Alt+ F2, tapez ret appuyez sur Enter.

BTW: Vous pouvez personnaliser presque tout en modifiant les fichiers JavaScript situés dans le uirépertoire.

Les articles recommandant la modification /usr/share/gnome-shell/theme/gnome-shell.csssont corrects; cependant, il convient de noter que si vous utilisez un autre thème gnome-shell (par exemple, vous exécutez Linux Mint), il peut y avoir des fichiers modifiables supplémentaires.

Par exemple, le thème «Mint-Z» de Mint12 contient des fichiers .css configurables dans /usr/share/themes/Mint-Z.

De plus, les extensions gnome-shell peuvent avoir leurs propres fichiers .css configurables, situés dans /usr/share/gnome-shell/extensions/{extension id}/ou $HOME/.local/share/gnome-shell/extensions/{extension id}/. Je ne sais pas si ces paramètres peuvent remplacer les valeurs par défaut du thème.

EDIT: @Guilherme répond en fait à votre question.

FYI Sur mon système ( gnome-shell 3.2.1-0ubuntu1), le sélecteur CSS approprié est situé dans /usr/share/gnome-shell/theme/gnome-shell.css, à la ligne 720, et est défini sur 7.5pt. Le paramètre réel pour mon système Mint12, cependant, est dans /usr/share/themes/Mint-Z/gnome-shell.css, @line 880, et est défini sur 8pt. Modifiez cette valeur, puis rechargez votre thème à l'aide de la commande «rt» à l' ALT+F2invite.

sudo gedit /usr/share/vte/termcap/xterm

Modifiez cette ligne:

:co#80:it#8:li#24:\

La source:

http://ubuntuforums.org/showthread.php?t=15471