Comment 5 for bug 1500282

Revision history for this message
In , Moz-bugzilla-e (moz-bugzilla-e) wrote :

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.