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

Question

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

O problema é que essa solução do aqui é não está disponível para mim:

1. Go to System Settings.

2. Go to Displays.

3. Go to "Scale for menu and title bars."

4. Drag the slider to your preferred size.

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

Esta é a minha vitrine e, como você pode ver, não há opção de escala.

    

Answer 1

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 (mudando de escala de 1.0 para 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, o text-scaling-factor foi alterado, 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 com a variável about:config em Firefox : devPixelsPerPx que altera o tamanho dentro do Firefox (veja também: Por que todos os elementos de formulário HTML enormes com um fator de escala de fonte de todo o sistema 2.0? )

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

adicionalmente:

Isso não dimensiona as barras de título e o menu, mas também há ferramenta de ajuste de unidade , onde você pode alterar o dimensionamento geral da fonte.

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

    

Answer 2

Eu não tenho reputação para comentar, então eu só quero dizer obrigado a rubo77 , porque sua resposta não não apenas resolve bem o problema, mas adiciona uma parte útil do código ao escopo em gsettings .

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

No meu HP ProBook 5320m, a saída do 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 é suficiente alterar o valor na última linha que corresponde ao parâmetro com.ubuntu.user-interface scale-factor LDVS1 . Obviamente, isso é sempre 8 vezes o fator de escala real e o cursor-size e text-scaling-factor está mudando de acordo com ele (para escalar > 2 ele também altera < org.gnome.desktop.interface scaling-factor uint32 de 1 para 2 ou mais, mas o procedimento descrito ainda funciona o mesmo).

Isso

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 .bashrc para alterar a escala sem falhas dentro de um terminal, por exemplo. escrevendo gnsc 0.875 , mesmo embora eu não tenha esse problema de perder o controle deslizante da pergunta inicial.

Esta é minha primeira postagem no StackExchange , espero que alguém ache útil! :)