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

9

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. Este é o meu monitor e, como você pode ver, não há opção de escala.

Pedro Dusso
fonte
Por que você precisaria de outra opção para mudar isso? Você não está satisfeito? Ou ** Por que não está disponível para você?
rubo77

Respostas:

7

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

rubo77
fonte
2

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! :)

luke.12
fonte