Portanto, sabe-se que os ambientes de desktop Mate e Cinnamon permitem apenas as opções "Normal" e "Duplo DPI" no dimensionamento da interface do usuário, ao contrário do Ubuntu que você pode alterar com um controle deslizante. Essas duas opções em alguns monitores não são suficientes; eles exigem algo no meio. Existem várias maneiras de contornar esse problema e me deparei com uma sobre a qual não li e gostaria de compartilhá-la aqui.
AskOverflow.Dev
Lembre-se de fazer backup de seus arquivos porque não sou especialista e é sempre uma boa ideia fazer isso.
A premissa desta solução é tornar a resolução do monitor maior do que suas especificações para que o DPI duplo resulte em um tamanho de tela confortável.
Portanto, precisaremos selecionar uma resolução mais alta nas configurações de exibição do que a resolução da tela real.
Você pode seguir este guia. Lembre-se de substituir 1600x900 por uma resolução mais alta. Achei que no meu monitor (1920x1080 13,5") 3200x1600 funcionou bem. Então podemos selecionar Double DPI nas configurações de exibição e pronto!
Eu também achei que mudar
layout.css.devPixelsPerPxno about:config do firefox para 2.5 funcionou bem com o meu monitor.Por favor, deixe-me saber se há alguma desvantagem para esta solução. Atualmente estou usando isso e não há nenhum problema além do pop-up do driver HP ser extremamente pequeno. Fora isso, prefiro esta solução no Linux Mint Mate 19.