O GTK3 usa temas , então você precisa configurar as folhas de estilos usadas por ele (não ~/.Xresources
). Leia também sobre recursos do aplicativo GTK .
O aplicativo gnome-tweak-tool
e o pacote fornecem uma interface GUI para a mudança de temas, etc.
Você pode considerar a configuração da propriedade scale
de fontes. Não é exatamente o DPI, mas está relacionado (veja também este ).
(talvez o maquinário de temas do GTK saiba sobre DPI, mas não sei dizer como)
BTW, se estiver usando o servidor Xorg X11, você pode considerar configurar a resolução DPI de sua tela (veja, por exemplo, this ); leia também sobre xrandr . isso funciona no lado do servidor, portanto, deve ter um efeito em todos os clientes X11 (mesmo baseados em não-GTK). Se estiver usando Wayland, você pode encontrar algo relevante também.