Échelle des barres de titre et du menu dans Ubuntu 14.04 avec Gnome

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:

1. Accédez aux paramètres système.

2. Allez dans Écrans.

3. Accédez à "Echelle pour le menu et les barres de titre".

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

Vous pouvez savoir où le paramètre est modifié si vous ouvrez un terminal:

gsettings list-recursively>/tmp/before
echo 'Now unity-control-center should open. Please change the scaling in "Displays" and close.'
unity-control-center
gsettings list-recursively>/tmp/after
diff /tmp/before /tmp/after |grep '[>|<]'

Vous découvrez que ces paramètres ont été modifiés (passant de la mise à l'échelle 1.0 à 2.0):

< org.gnome.desktop.interface scaling-factor uint32 1
> org.gnome.desktop.interface scaling-factor uint32 2
< com.ubuntu.user-interface scale-factor {'HDMI1': 8, 'eDP1': 8}
> com.ubuntu.user-interface scale-factor {'HDMI1': 8, 'eDP1': 16}

Ou en changeant de 1.0 à 1.5, il est changé à la text-scaling-factorplace, car scale-factorest entier:

< org.gnome.desktop.interface text-scaling-factor 1.0
> org.gnome.desktop.interface text-scaling-factor 1.5
< org.gnome.desktop.interface cursor-size 24
> org.gnome.desktop.interface cursor-size 36
< com.ubuntu.user-interface scale-factor {'HDMI1': 8, 'eDP1': 8}
> com.ubuntu.user-interface scale-factor {'HDMI1': 8, 'eDP1': 12}

de 1,5 à 2,0:

< org.gnome.desktop.interface scaling-factor uint32 1
> org.gnome.desktop.interface scaling-factor uint32 2
< org.gnome.desktop.interface text-scaling-factor 1.5
> org.gnome.desktop.interface text-scaling-factor 1.0
< org.gnome.desktop.interface cursor-size 36
> org.gnome.desktop.interface cursor-size 24
< com.ubuntu.user-interface scale-factor {'HDMI1': 8, 'eDP1': 12}
> com.ubuntu.user-interface scale-factor {'HDMI1': 8, 'eDP1': 16}

Ces paramètres peuvent être modifiés à la main avec dconf-editor

C'est très intéressant dans le contexte de la about:configvariable dans Firefox : devPixelsPerPxcela 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:

if [ "$1" == "1" ]; then
  # set scaling to x1.0
  gsettings set org.gnome.desktop.interface scaling-factor 1
  gsettings set com.ubuntu.user-interface scale-factor "{'HDMI1': 8, 'eDP1': 8}"
else
  # set scaling to x2.0
  gsettings set org.gnome.desktop.interface scaling-factor 2
  gsettings set com.ubuntu.user-interface scale-factor "{'HDMI1': 8, 'eDP1': 16}"
fi

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

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 à explorergsettings .

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:

< org.gnome.desktop.interface text-scaling-factor 0.875
> org.gnome.desktop.interface text-scaling-factor 1.0
< org.gnome.desktop.interface cursor-size 21
> org.gnome.desktop.interface cursor-size 24
< com.ubuntu.user-interface scale-factor {'default': 8, 'VGA1': 6, 'LVDS1': 7}
> com.ubuntu.user-interface scale-factor {'default': 8, 'VGA1': 6, 'LVDS1': 8}

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 LDVS1paramètre. Évidemment, c'est toujours 8 fois le facteur d'échelle réel et le cursor-sizeet text-scaling-factorchange avec lui en conséquence (pour une échelle> 2, il passe également < org.gnome.desktop.interface scaling-factor uint32de 1 à 2 ou plus, mais la procédure décrite fonctionne toujours de la même manière).

Cette

function gnsc {
    b=$(echo "scale=0; $1*8" | bc) 
    b=${b%.*} 
    gsettings set com.ubuntu.user-interface scale-factor "{'default': 8, 'VGA1': 6, 'LVDS1': $b}" 
}

est ce que je mets dans mon .bashrcpour changer la mise à l'échelle sans faille dans un terminal, par exemple. taper gnsc 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! :)