Created attachment 8724197
patch to use actual gtk scaling
Here is the patch which fixes this. It basically removes the rounding applied when reading the current DPI from gdk_screen_get_resolution(). I have tested this and it works as expected: the Xft/DPI value is read from XSETTINGS, returned in gdk_screen_get_resolution() and then correctly applied to the content rendering as well. This is consistent with the UI rendering, which already gets scaled correctly at all Xft/DPI values > 96.
Created attachment 8724197
patch to use actual gtk scaling
Here is the patch which fixes this. It basically removes the rounding applied when reading the current DPI from gdk_screen_ get_resolution( ). I have tested this and it works as expected: the Xft/DPI value is read from XSETTINGS, returned in gdk_screen_ get_resolution( ) and then correctly applied to the content rendering as well. This is consistent with the UI rendering, which already gets scaled correctly at all Xft/DPI values > 96.
I hope this can be included.