dans l'unité, vous pouvez définir quelque chose qui rendra toutes les applications (chrome, rhythmbox, etc.) plus petites, je pense que c'est de cela qu'il s'agit. si c'est le cas, je suis également intéressé par la réponse (qui n'est pas le lien vers les polices de caractères de i3 doc)
rrosa
Réponses:
17
Vous devez changer la configuration d'i3, copier le /etc/i3/configfichier dans ~/.config/i3/configpuis éditer / ajouter votre configuration de police:
cp /etc/i3/config ~/.config/i3/config
Vous devez maintenant modifier le fichier et ajouter vos préférences à l'aide de la syntaxe suivante:
font <X core font description>
font pango:[family list] [style options] [size]
La première ligne décrit la description de la police en utilisant le format de base X, la deuxième ligne la décrit comme des variables séparées par des espaces dans l'ordre suivant: famille de polices (Arial, Mono, Sans, etc.); options de style telles que Gras, Italique, Souligné, etc .; et le dernier la taille . Pango est le moteur de mise en page utilisé.
Vous pouvez consulter toutes les entrées et modifier ce que vous aimez, par exemple:
font -misc-fixed-medium-r-normal--13-120-75-75-C-70-iso10646-1
font pango:DejaVu Sans Mono 10
font pango:DejaVu Sans Mono, Terminus Bold Semi-Condensed 11
font pango:Terminus 11px
Les programmes GTK utiliseront les paramètres GTK. Si toutes les polices partout sont trop petites, vous pouvez contourner ce problème en modifiant les paramètres d'affichage, par exemple, ce que je fais avec mon htpc et ma télé, c'est de définir la valeur dpi. Les définir via le centre de contrôle gnome ou tout ce qui devrait fonctionner si vous démarrez gnome-settings-daemon dans ~ / .i3 / config, sinon, les paramètres sont comme ~ / .gtkrc-2.0 et ~ / .config / gtk-3.0.
Réponses:
Vous devez changer la configuration d'i3, copier le
/etc/i3/configfichier dans~/.config/i3/configpuis éditer / ajouter votre configuration de police:Vous devez maintenant modifier le fichier et ajouter vos préférences à l'aide de la syntaxe suivante:
La première ligne décrit la description de la police en utilisant le format de base X, la deuxième ligne la décrit comme des variables séparées par des espaces dans l'ordre suivant: famille de polices (Arial, Mono, Sans, etc.); options de style telles que Gras, Italique, Souligné, etc .; et le dernier la taille . Pango est le moteur de mise en page utilisé.
Vous pouvez consulter toutes les entrées et modifier ce que vous aimez, par exemple:
La source:
la source
Les programmes GTK utiliseront les paramètres GTK. Si toutes les polices partout sont trop petites, vous pouvez contourner ce problème en modifiant les paramètres d'affichage, par exemple, ce que je fais avec mon htpc et ma télé, c'est de définir la valeur dpi. Les définir via le centre de contrôle gnome ou tout ce qui devrait fonctionner si vous démarrez gnome-settings-daemon dans ~ / .i3 / config, sinon, les paramètres sont comme ~ / .gtkrc-2.0 et ~ / .config / gtk-3.0.
la source