web-dev-qa-db-fra.com

Barres de titre d'échelle et 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 problème est que cette solution de ici n'est pas disponible pour moi:

  1. Allez dans les paramètres du système.

  2. Aller aux affichages.

  3. Allez à "Échelle pour le menu et les barres de titre."

  4. Faites glisser le curseur à 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 également ubuntu-Tweak-tool sans succès.

This is my display windows and, as you can see, there is no scale option. Ce sont mes fenêtres d'affichage et, comme vous pouvez le constater, il n'y a pas d'option d'échelle.

9
Pedro Dusso

Vous pouvez savoir où le réglage 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 (passage de 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 si vous passez de 1.0 à 1.5, le text-scaling-factor est changé à la place, car scale-factor est un 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 édités à la main avec dconf-editor

Ceci est très intéressant dans le contexte de la variable about:config dans Firefox : devPixelsPerPx qui modifie la taille dans Firefox (voir aussi: Pourquoi tous les éléments de formulaire HTML sont-ils énormes avec une police à l'échelle du système facteur 2.0? )

En outre, vous pouvez écrire un script pour modifier le facteur d’échelle avec les paramètres tels que /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 n’échelle pas les barres de titre et le menu, mais il y a aussi nity-Tweak-tool , où vous pouvez changer l’échelle générale des polices.

C’est peut-être une alternative que vous pourriez utiliser en dehors de Prise en charge de la mise à l’échelle dans les paramètres système

7
rubo77

Je n'ai pas de réputation à commenter, je tiens donc simplement à dire merci à rubo77 , car sa réponse ne résout pas seulement le problème, mais ajoute un élément de code utile à scope dans gsettings.

J'aimerais aussi 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 la suivante:

< 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 suffisait de changer la valeur de la dernière ligne pour le paramètre com.ubuntu.user-interface scale-factor LDVS1. Évidemment, il s'agit toujours de 8 fois le facteur d'échelle réel et les cursor-size et text-scaling-factor changent en conséquence (pour une mise à l'échelle> 2, il change également de < 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).

Ce

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 .bashrc pour changer la mise à l’échelle sans faille dans un terminal, par exemple. en tapant 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! :)

2
luke.12