Estou trabalhando em um Thinkpad T480s, que possui uma tela WQHD (2560x1440) de 14 ". Isso cria fontes muito pequenas no Firefox e no gerenciador de janelas (Xfce).
Em princípio, eupoderiadefina a layout.css.devPixelsPerPxconfiguração no Firefox e defina manualmente o tamanho da fonte do gerenciador de janelas, etc. No entanto, também tenho um monitor externo WQHD de 27 ". E isso significa que todas essas configurações (gerenciador de janelas, Firefox) tornariam as fontes boas em uma, mas ruins na outra tela.
Então minha pergunta parece ser a seguinte:Como posso definir valores de DPI diferentes para minhas telas diferentes e fazer com que todos os aplicativos (por exemplo, Firefox) os respeitem?
Devo acrescentar que, aparentemente, já existiu uma extensão AutoHiDPI para Firfox, mas parece que desapareceu e não consigo encontrá-la.