J'ai installé gnome dans mon nouveau 14.04 (pas la distribution Ubuntu-Gnome). J'ai remarqué que les barres de titre sont énormes et j'aimerais changer.
Le fait est que cette solution d' ici n'est pas disponible pour moi:
Accédez aux paramètres système.
Allez dans Écrans.
Accédez à "Echelle pour le menu et les barres de titre".
Faites glisser le curseur vers votre taille préférée.
Y a-t-il un autre endroit où je pourrais changer cela? J'ai regardé dans gnome-tweak-tool et aussi ubuntu-tweak-tool sans succès.
Ce sont mes fenêtres d'affichage et, comme vous pouvez le voir, il n'y a pas d'option d'échelle.
Réponses:
Vous pouvez savoir où le paramètre est modifié si vous ouvrez un terminal:
Vous découvrez que ces paramètres ont été modifiés (passant de la mise à l'échelle 1.0 à 2.0):
Ou en changeant de 1.0 à 1.5, il est changé à la
text-scaling-factor
place, carscale-factor
est entier:de 1,5 à 2,0:
Ces paramètres peuvent être modifiés à la main avec
dconf-editor
C'est très intéressant dans le contexte de la
about:config
variable dans Firefox :devPixelsPerPx
cela change la taille à l'intérieur de Firefox (voir aussi: Pourquoi tous les éléments de formulaire HTML sont-ils énormes avec un facteur d'échelle de police à l'échelle du système 2.0? )En outre, vous pouvez écrire un script pour modifier le facteur d'échelle avec ces paramètres comme
/usr/local/bin/setscalefactor
:aditionellement:
Cela ne met pas à l'échelle les barres de titre et le menu, mais il existe également un outil de modification d' unité , où vous pouvez modifier l'échelle de police globale.
Peut-être que c'est une alternative que vous pourriez utiliser en dehors de la prise en charge de la mise à l' échelle dans les paramètres système
la source
Je n'ai pas la réputation de commenter, donc je veux juste dire merci à rubo77 , parce que sa réponse ne résout pas seulement bien le problème, mais ajoute un morceau de code utile à explorer
gsettings
.Je voudrais également contribuer un peu plus ...
Sur mon HP ProBook 5320m, la sortie de son script lors du déplacement du curseur de 0,875 à 1 est:
mais j'ai découvert qu'il suffit de changer la valeur de la dernière ligne représentant le
com.ubuntu.user-interface scale-factor LDVS1
paramètre. Évidemment, c'est toujours 8 fois le facteur d'échelle réel et lecursor-size
ettext-scaling-factor
change avec lui en conséquence (pour une échelle> 2, il passe également< org.gnome.desktop.interface scaling-factor uint32
de 1 à 2 ou plus, mais la procédure décrite fonctionne toujours de la même manière).Cette
est ce que je mets dans mon
.bashrc
pour changer la mise à l'échelle sans faille dans un terminal, par exemple. tapergnsc 0.875
, même si je n'ai pas ce problème de curseur manquant de la question initiale.Ceci est mon premier article sur StackExchange , donc j'espère que quelqu'un le trouvera utile! :)
la source