Espaçamento vertical de GTK muito condensado

3

Eu instalei o gnome-shell - para quem sabe que razão - no Natty, do pgp do launchpad gnome3:

sudo add-apt-repository ppa:gnome3-team/gnome3
sudo apt-get update
sudo apt-get upgrade
sudo apt-get install gnome-shell
sudo apt-get install gnome-session

Depois percebi que cometi um erro:

ppa-purge ppa:gnome3-team/gnome3
sudo apt-get update

e reverteu o sistema para o estado anterior. Tudo parece bem, exceto um problema - o espaçamento vertical em alguns elementos gtk. Eu fiz uma captura de tela há uma semana e fiz uma nova para comparação (a janela da esquerda é boa e a da direita é ruim):

link

A captura de tela é do editor scite, mas é igual em outros editores, no Eclipse, no painel lateral do Nautilus ... Tudo está condensado e em alguns casos (parte inferior da barra de endereços do Firefox 10) falta parte da fonte devido a esse problema .

A alteração do tema não ajuda, por isso não é um problema do gtkrc. Se eu usar o tema spartan non GTK +, não haverá problema, caso isso seja importante

Posso fazer algo para resolver esse problema?

Atualização 1 :

Eu iniciei a sessão de convidado, e não houve problemas, por isso o problema está no meu próprio perfil.
Eu deletei a pasta ~ / .compiz, mas nada mudou depois do relogin

Seguindo o link fornecido pela Amith, eu fiz:

gconftool --shutdown
killall -r -I -9 dconf
killall -r -I -9 gconf
mv gconf-backup .gconf
mv config-dconf .config/dconf
sudo reboot

Ainda nada: (

O que mais poderia ser?

Atualização 2 :

Consegui criar o painel lateral do Nautilus como antes, criando manualmente o arquivo gtkrc do tema atual:

GtkTreeView::vertical_separator = 2

Agora, se alguém puder fornecer apenas dicas sobre como definir o separador vertical para os widgets do gtk dos editores (sejam eles quais forem os chamados). Não consegui encontrar nenhuma referência

Também descobri que o usuário root não tem esse problema, como pode ser visto nesta captura de tela:

link

Caso alguém tenha outra ideia;)

    
por vlad 04.02.2012 / 13:45

2 respostas

2

Não foi problema do gnome-shell. No mesmo dia eu também tentei navegar pacote de fontes com Gerenciador de Fontes adicionando pasta ao Gerenciador de Fontes sem saber que essas fontes seriam instaladas. Era um pacote de fontes de 1GB fornecido pelo Google, com várias qualidades que causavam esse problema

Depois de remover esta pasta de fontes, tudo volta ao normal. Que pesadelo!

    
por vlad 05.02.2012 / 14:20
-2

Tente redefinir as configurações do gnome

Abra um terminal e execute

tar czvf gnome-backup.tar.gz .gnome .gnome2 .gconf .gconfd .metacity

E, em seguida, execute:

rm .gnome .gnome2 .gconf .gconfd .metacity

Isso reverterá as configurações do gnome

Se algo der errado, use este comando para consertá-lo

tar -zxvf gnome-backup.tar.gz

Fonte: link

    
por Amith KK 04.02.2012 / 14:00