Ferramenta Gnome Tweak
Este é um problema comum nos fóruns - a migração para o gnome3 eliminou muitos dos recursos de personalização disponíveis no gnome2.
Uma ferramenta de GUI que existe no Centro de Software é gnome-tweak-tool
- é uma solução parcial para permitir que você personalize alguns aspectos das fontes.
O "fator de escala de texto" é a opção em que você está interessado - é lamentável que seja uma barra deslizante, portanto você não poderá inserir o valor de DPI real. Clique na barra deslizante e use as teclas de seta para a esquerda / direita para diminuir / aumentar o tamanho da fonte.
editordedconf
Usardconf-editor
,queestádisponívelnopacotedconf-tools
,permitedefinirnumericamenteo"Text Scaling Factor", ou seja, alterar o valor padrão por frações de números (1,2, 0,9 etc) altera o tamanho geral da fonte da tela: / p>
AcessoUniversal
Sequiserapenasajustarotamanhodotextouniversalmentesemprecisardedetalhes,podefazê-loapartirdaferramentadeacessouniversal: