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.
editor de dconf
Usar dconf-editor
, que está disponível no pacote dconf-tools
, permite definir numericamente o "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>
Acesso Universal
Se quiser apenas ajustar o tamanho do texto universalmente sem precisar de detalhes, pode fazê-lo a partir da ferramenta de acesso universal: