GTK As fontes são muito grandes

Question

As fontes do meu GTK são muito grandes. Quando eu quero que eles fiquem bem, eu tenho que definir o tamanho para 7. Mas eu acho que isso é muito baixo e não a solução. Eu acho que deveria ser em torno de 12,7 parece uma solução para mim. Ou não?

Aqui você pode ver a boa configuração com tamanho 7:

Eaquiestáaconfiguraçãomuitograndecomtamanho12:

O problema que tenho é que, mesmo se eu definir o tamanho para 7, existem alguns programas que ainda exibem fontes grandes. Por exemplo, o eclipse tem menus de boa aparência, mas a fonte no editor ainda é muito grande (mas definida como 10)!

Atualização: tenho uma tela de 14 polegadas com 1600x900 pixels. De acordo com o pxcalc.com, meu DPI deve ser definido como 131.13. Então isso também parece bom.

$ xdpyinfo | grep -B2 resolution
screen #0:
  dimensions:    1600x900 pixels (310x170 millimeters)
  resolution:    131x134 dots per inch

    

Answer 1

Como mencionado no comentário: Não consegui alterar o DPI, removi o driver da nvidia e o substituí pelo driver Nouveau. Agora está tudo bem.

    

Answer 2

Algo que você pode usar na linha de comando e ao criar scripts: redefina o DPI usando xrandr :

xrandr --dpi 96

    

Answer 3

Altere o DPI de exibição para um valor menor.