Como eu redimensiono a barra superior do shell do GNOME

Question

Estou no Ubuntu 12.04 e instalei o gnome-shell, mas achei que a barra superior é maior do que normalmente é, como posso alterar seu tamanho?

    

Answer 1

1. Segure os dois " [Windows] key + [Alt] "
2. " Right-click " a barra
3. Clique em "Propriedades".

Na aba "Geral", basta redimensionar a barra.

    

Answer 2

Encontre o arquivo /usr/share/gnome-shell/theme/gnome-shell.css

abra-o para edição executando o comando

sudo gedit /usr/share/gnome-shell/theme/gnome-shell.css

em seguida, nesse arquivo, logo no início, você verá

/* default text style */
stage {
    font-family: cantarell, sans-serif;
    font-size: 11pt; 
    color: white;
}

nenhuma alteração font-size: 11pt to font-size: 9pt

e salve o arquivo, agora você alterou o tamanho da fonte para o shell que irá redimensionar a barra superior também, mas agora você precisa reiniciar o tema para carregar este arquivo

pressione alt + F2 e digite r e pressione enter

Ele deve funcionar Eu não estou usando o Ubuntu, mas funciona para mim no fedora