Ainda não experimentei, mas há uma boa resposta aqui que sugere usar o xrandr
option scale
, que deve te dar o efeito desejado.
ATUALIZAÇÃO: Isso funciona, eu escrevi instruções resumidas aqui .
Eu tenho várias telas com diferentes configurações de DPI corretas. Posso usar xrandr --dpi X
para alterar o DPI para todas as telas. É possível definir um DPI diferente para cada tela? Como faço para que os aplicativos recalculem os tamanhos das fontes quando eles são movidos para uma tela diferente? xrandr --dpi X
afeta apenas novas janelas, as janelas antigas ainda usam o antigo valor de DPI.
Consegui resolver isso (com problemas) usando os detalhes descritos na seguinte discussão do github: link
Monitor externo QHD (2560X1440), monitor interno / laptop 3200x1800
xrandr --output eDP-1 --scale 1x1 --pos 0x2880
xrandr --output DP-1 --mode 2560x1440 --scale 2x2 --fb 5120x4680
OU Monitor Externo FHD (1920x1080), Monitor Interno / Portátil 3200x1800
xrandr --output eDP-1 --scale 1x1 --pos 0x2160
xrandr --output DP-1 --mode 1920x1080 --scale 2x2 --fb 3840x3960
Estes funcionam, mas há uma quantidade significativa de rasgos no monitor de alta resolução (laptop) quando eu movo janelas, redimensiono telas ou rola em um navegador. Isso parece uma solução de software para conserto (que tem todos esses problemas de rasgo e lentidão).
Em 2017, o Linux / Gnome precisa lidar com a solução de vários monitores e escala mista. Tanto o Windows 10 quanto o OS X resolveram isso sem ter que recorrer a correções de band-aid de linha de comando que funcionam parcialmente (o problema de rasgo não é aceitável para jogos)
você pode definir valores diferentes para cada tela com:
xrandr --output <Display1> --dpi X --output <Display2> --dpi Y
Para ver o que está disponível use apenas xrandr
, para reiniciar a fonte. Eu acho que você poderia desligar o visor e ligá-lo novamente com:
xrandr --output <Display1> --off
xrandr --output <Display1> --auto
mas não tenho certeza
Tags multiple-monitors dpi xrandr linux