Como aumentar o tamanho da fonte de menus, guias e outros elementos da interface do usuário no Firefox 52?

0

Estou executando o Linux e uso o Firefox Extended Support Release, 52.6.0, porque dependo de certas extensões de acessibilidade / usabilidade que não funcionam no Firefox Quantum.

Eu tenho uma pequena tela de laptop com alta resolução, o que torna a fonte padrão da interface do usuário do Firefox ilegível para mim.

Descobri que posso alterar o tamanho da fonte da interface do usuário da maioria dos aplicativos com uma configuração ~/.Xdefaults :

Xft.dpi: 192

Isso funciona para coisas como Gedit e i3, mas por algum motivo o Firefox o ignora.

Eu tentei outra solução alternativa que encontrei no support.mozilla.org, alterando layout.css.devPixelsPerPx para 1,25 em about: config. Na minha versão do Firefox, isso altera o tamanho de praticamente tudo, menos a fonte de texto da interface do usuário.

Outra sugestão do support.mozilla.org é usar uma extensão chamada "Theme and Font Size Changer". No entanto, desde o lançamento do Firefox Quantum esta extensão parece ter sido modificada para não mais suportar a mudança de tamanhos de fonte (só me permite mudar as cores!).

Eu tentei cortar pela metade a resolução da tela com xrandr (para 640x400), mas isso quebra muitas coisas, por exemplo, várias caixas de diálogo, como diálogos de impressão, não cabem mais na tela.

Existe uma solução melhor?

    
por Metamorphic 20.06.2018 / 08:17

1 resposta

0

Ao tentar resolver este problema, aprendi sobre userChrome.css . É um arquivo de configuração que permite que os usuários alterem as propriedades da interface do Firefox, usando as folhas de estilo em cascata língua. Funciona no Firefox 52.

O arquivo não existe por padrão; Eu criei e adicionei o seguinte texto:

$ cat ~/.mozilla/firefox/*.Default\ User/chrome/userChrome.css        
@namespace url("http://www.mozilla.org/keymaster/gatekeeper/there.is.only.xul");

* {
font-size: 16pt !important
}

Não se esqueça do ponto e vírgula após a linha @namespace .

Surpreendentemente, há um site inteiro, userchrome.org , dedicado a coisas que você pode colocar neste arquivo. No entanto, o trecho simples acima foi tudo que eu precisava. Eu não entendi do userchrome.org, mas de uma postagem no mozillazine.org . No meu sistema, o truque font-size também pode ser encontrado em um arquivo userChrome-example.css no mesmo diretório chrome/ .

Agora posso ler os nomes de texto e tabulação do menu e assim por diante, com minha tela em resolução total.

    
por 20.06.2018 / 08:17