Para o desktop MATE, finalmente encontrei uma solução. É bem escondido e difícil de encontrar, eu acho.
- Clique com o botão direito do mouse na área de trabalho e escolha Alterar plano de fundo da área de trabalho OU: escolha Sistema - > Preferências - > Aparência .
- Escolha a guia Fontes .
- Clique no botão Detalhes .
- No topo da caixa de diálogo existe um campo de entrada Resolução onde você pode inserir ou aumentar a configuração de DPI. Configurando isso para o verdadeiro DPI da tela aumenta muito tudo, mas com um pouco de conserto é possível encontrar um bom valor.
Atualização 1: No Gnome3, também é possível redimensionar as fontes especificando um fator de escala na ferramenta gnome-tweak. A ferramenta gnome-tweak também tem um fator de escala para o windows, mas isso só permite especificar o valor inteiro! Então 1 é minúsculo e 2 é muito grande!
Atualização 2: O Cinnamon parece ser o único gerenciador de desktop que fornece suporte para HiDPI pronto para uso! Tudo é bem dimensionado desde o início. Infelizmente, eu tive problemas freqüentes com a tela bloqueando ou parando de responder, então ou ela ainda não está estável ou tem problemas com meu hardware ou configuração específica. Mas o que o Cinnamon alcançou é exatamente o que eu esperaria que o Unity, o Gnome3 ou o KDE fizessem!
Atualização 3: Situação é ainda pior com uma configuração de monitor duplo: Com o Gnome3, o gerenciador de janelas que é o melhor compromisso entre estabilidade e suporte a HiDPI até agora, a configuração de monitor duplo não funciona: a tela de login é mostrada Ambos os monitores, mas assim que eu faço login no Gnome3, os dois oscilam indefinidamente entre uma tela preta e uma tela desligada. Se eu desligar o segundo monitor, tudo ficará bem novamente. Em Unity, a configuração de monitor duplo funciona, mas a escala não: as janelas no segundo monitor de resolução inferior agora são muito grandes, as fontes são enormes etc.