Alterar tamanho da fonte do painel gnome?

xerxeslins
(usa openSUSE)

Enviado em 21/10/2015 - 15:59h

Olá, alguém sabe como alterar o tamanho da fonte do painel superior do gnome-shell versão 3.16?

Obg!

lcavalheiro
(usa Slackware)

Enviado em 21/10/2015 - 16:35h

Via gnome-tweak-tool, Xerxes, ou então é um comando arcano e bizarro no terminal começando com gsettings...
--
Luís Fernando Carvalho Cavalheiro
Public GPG signature: 0x246A590B
Só Slackware é GNU/Linux e Patrick Volkerding é o seu Profeta

xerxeslins
(usa openSUSE)

Enviado em 21/10/2015 - 19:22h

Olá!

Valeu pela dica. Infelizmente o tweal-tool altera todas as fontes, menos a do painel superior do gnome. E o mais estranho é que o arquivo do gnome-shell, gtk.css, que deveria ter os comandos para alterar as fontes, está vazio:

A única linha que tem nele diz: "/* Adwaita is the default theme of GTK+ 3, this file is not used */"

removido
(usa Nenhuma)

Enviado em 21/10/2015 - 20:04h

Tenta isso:

# nano /usr/share/gnome-shell/theme/gnome-shell.css

Procura por "font-family" ou "font-size".

stage {

    font-family: cantarell, sans-serif;

    font-size: 14pt;

    color: white;

} 

xerxeslins
(usa openSUSE)

Enviado em 21/10/2015 - 20:42h

Obrigado, mas esse arquivo não existe no gnome 3.16.

existe o "/usr/share/gnome-shell/theme/gnome-classic.css" e tem o font-family lá, sim. Mudei o tamanho, mas não surtiu efeito.

xerxeslins
(usa openSUSE)

Enviado em 21/10/2015 - 20:44h

Complementando o meu comentário anterior, mudar a fonte no gnome-classic teve efeito apenas no gnome modo clássico (que se escolhe na tela de login). O gnome shell normal não sofreu mudanças.