Escale barras de título e menu no Ubuntu 14.04 com Gnome

Instalei o gnome no meu novo 14.04 (não na distribuição Ubuntu-Gnome). Notei que as barras de título são enormes e gostaria de mudar.

O importante é que esta solução daqui não esteja disponível para mim:

1. Vá para Configurações do sistema.

2. Vá para Monitores.

3. Vá para "Dimensionar para barras de menus e títulos".

4. Arraste o controle deslizante para o tamanho preferido.

Existe algum outro lugar que eu possa mudar isso? Eu olhei no gnome-tweak-tool e também no ubuntu-tweak-tool sem sucesso.

Este é o meu monitor e, como você pode ver, não há opção de escala.

Você pode descobrir onde a configuração é alterada se você abrir um 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 '[>|<]'

Você descobre que essas configurações foram alteradas (passando da escala 1.0 para a 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 mudando de 1.0 para 1.5, mudou o text-scaling-factorlugar, porque scale-factoré inteiro:

< 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 a 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}

Essas configurações podem ser editadas manualmente com dconf-editor

Isso é muito interessante no contexto da about:configvariável no Firefox : devPixelsPerPxisso altera o tamanho no Firefox (consulte também: Por que todos os elementos de formulário HTML são enormes com um fator de escala de fonte 2.0 em todo o sistema? )

Além disso, você pode escrever um script para alterar o fator de escala com essas configurações, como /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

Além disso:

Isso não dimensiona as barras de título e o menu, mas também há a ferramenta unity-tweak-tool , na qual você pode alterar o dimensionamento geral da fonte.

Talvez seja uma alternativa que você possa usar além do Suporte de dimensionamento nas configurações do sistema

Não tenho reputação para comentar, por isso só quero agradecer a rubo77 , porque sua resposta não apenas resolve bem o problema, mas adiciona um pedaço útil de código ao escopo gsettings.

Eu também gostaria de contribuir um pouco mais ...

No meu HP ProBook 5320m, a saída de seu script ao mover o controle deslizante de 0.875 para 1 é:

< 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}

mas descobri que basta alterar o valor na última linha correspondente ao com.ubuntu.user-interface scale-factor LDVS1parâmetro. Obviamente, isso sempre é 8 vezes o fator de escala real cursor-sizee text-scaling-factoroe está mudando junto com ele de acordo (para a escala> 2, também muda < org.gnome.desktop.interface scaling-factor uint32de 1 para 2 ou mais, mas o procedimento descrito ainda funciona da mesma maneira).

este

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}" 
}

é o que eu coloco no meu .bashrcpara alterar a escala perfeitamente dentro de um terminal, por exemplo. digitando gnsc 0.875, mesmo que eu não tenha esse problema de perder o controle deslizante da pergunta inicial.

Este é o meu primeiro post no StackExchange , então espero que alguém ache útil! :)