Closed sunweaver closed 9 months ago
PR looks good, but there's one thing I'd like to mention before I merge this: there's another font scaling method:
Xft.dpi
and the relatedgtk-xft-dpi
gsetting (which is actually1024 * font_dpi
for some reason).
GDK_DPI_SCALE
probably overrides this andgtk-xft-dpi
looks deprecated, but I'm not completely sure. We certainly have anxft-dpi
setting already (defaulting to 96 [DPI]), which is unconditionally used to set thegtk-xft-dpi
gsetting, so that's something to be mindful of.
Do you mean gsetting or xsetting? If xsetting, then this is probably superseded by GDK_DPI_SCALE. Also, GDK_DPI_SCALE is X11-agnostic and will probably work on Wayland, as well, if we ever have to move over to it.
Please go ahead. I have rebased the PR branch just now.
There's an gtk-xft-dpi
gsetting. It's somewhat coupled with the Xft.dpi
xsetting, but not... fully... the situation looks complicated.
GDK_SCALE
certainly doesn't work at all with Wayland, since Wayland has proper high-DPI scaling support and GDK_SCALE
is more of a hack, so I also expect GDK_DPI_SCALE
not to work with Wayland, but I haven't checked the source code.
I think that we don't have to care for Wayland at all, since Wayland has built-in support for this type of scaling.
This depends on #84.