Scala le barre del titolo e il menu in Ubuntu 14.04 con Gnome

Ho installato gnome nel mio nuovo 14.04 (non nella distribuzione Ubuntu-Gnome). Ho notato che le barre del titolo sono enormi, e vorrei cambiare.

Il fatto è che questa soluzione da qui non è disponibile per me:

1. Vai a Impostazioni di sistema.

2. Vai a Display.

3. Vai a "Scala per menu e barre del titolo".

4. Trascina il cursore sulla dimensione preferita.

C'è un altro posto dove potrei cambiare questo? Ho cercato in gnome-tweak-tool e anche in Ubuntu-tweak-tool senza successo.

Questa è la mia vetrina e, come puoi vedere, non esiste alcuna opzione di ridimensionamento.

Puoi scoprire dove viene modificata l'impostazione se apri un terminale:

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 '[>|<]'

Scopri che queste impostazioni sono state modificate (cambiando dal ridimensionamento da 1.0 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}

O cambiando da 1.0 a 1.5 c'è text-scaling-factorinvece cambiato , perché scale-factorè intero:

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

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

Tali impostazioni possono essere modificate manualmente con dconf-editor

Questo è molto interessante nel contesto della about:configvariabile in Firefox : devPixelsPerPxciò cambia le dimensioni all'interno di Firefox (vedi anche: Perché tutti gli elementi del modulo HTML sono enormi con un fattore di scala dei caratteri 2.0 a livello di sistema? )

Inoltre, puoi scrivere uno script per modificare il fattore di scala con queste impostazioni come /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

Inoltre:

Questo non ridimensiona le barre del titolo e il menu, ma esiste anche uno strumento di ottimizzazione delle unità , in cui è possibile modificare il ridimensionamento generale dei caratteri.

Forse questa è un'alternativa che potresti usare oltre al supporto di ridimensionamento in Impostazioni di sistema

Non ho la reputazione di commentare, quindi voglio solo dire grazie a rubo77 , perché la sua risposta non solo risolve bene il problema, ma aggiunge un utile pezzo di codice in ambito gsettings.

Vorrei anche contribuire un po 'di più ...

Sul mio HP ProBook 5320m, l'output del suo script quando si sposta il dispositivo di scorrimento da 0,875 a 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}

ma ho scoperto che è sufficiente cambiare il valore nell'ultima riga che indica il com.ubuntu.user-interface scale-factor LDVS1parametro. Ovviamente questo è sempre 8 volte il fattore di scala reale e cursor-sizee text-scaling-factorsta cambiando di conseguenza con esso (per il ridimensionamento> 2 cambia anche < org.gnome.desktop.interface scaling-factor uint32da 1 a 2 o superiore, ma la procedura descritta funziona sempre allo stesso modo).

Questo

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

è quello che ho inserito nel mio .bashrcper cambiare perfettamente il ridimensionamento all'interno di un terminale, ad es. digitando gnsc 0.875, anche se non ho il problema di perdere il cursore della domanda iniziale.

Questo è il mio primo post su StackExchange di sempre, quindi spero che qualcuno lo troverà utile! :)